14. WLP 2000: Würzburg, Germany

François Bry, Ulrich Geske, Dietmar Seipel (Hrsg.): 14. Workshop Logische Programmierung, Würzburg, 26.-28. Januar 2000. GMD Report No. 90

Invited Talks

Constraint Logic Programming

Extensions of Logic Programming

Functional Logic Programming

Logic and AI

Program Analysis and Debugging

System Demonstrations