Centrum voor Wiskunde en Informatica REPORTRAPPORT
Relational methods in logic, language and information
P. Blackburn, M. de Rijke, and Y. Venema
Computer Science/Department of Software Technology
CS-R9561 1995 Report CS-R9561 ISSN 0169-118X
CWI P.O. Box 94079 1090 GB Amsterdam The Netherlands
CWI is the National Research Institute for Mathematics and Computer Science. CWI is part of the Stichting Mathematisch Centrum (SMC), the Dutch foundation for promotion of mathematics and computer science and their applications. Copyright © Stichting Mathematisch Centrum SMC is sponsored by the Netherlands Organization for P.O. Box 94079, 1090 GB Amsterdam (NL) Scientific Research (NWO). CWI is a member of Kruislaan 413, 1098 SJ Amsterdam (NL) ERCIM, the European Research Consortium for Telephone +31 20 592 9333 Informatics and Mathematics. Telefax +31 20 592 4199
Relational Metho ds in Logic Language and Information