L
OGIC
P
ROGRAMMING
Prolog FAQs
LP Newsletter
Logic Programming
@ Oxford
Database Systems and Logic Programming
@ Trier
C
ONFERENCES
JICSLP98
IBFI Schloss Dagstuhl
M
ISC
Constraints Archive
The Interest Group in Pure and Applied Logics
Computer Science Bibliographies
Logical Frameworks
Construction of Computational Logics
Copyright © 1997
Ulf Nilsson
Last updated: Aug 27 1997