Bibtex Entries for LP Conferences/Journals

Appeared in Volume 8/3, August 1995

Keywords: conferences.

Patchlevel 15 of our collection of bibtex entries for LP conferences and journals is now available from:

http://ps-www.dfki.uni-sb.de/lp-proceedings

ftp://ps-www.dfki.uni-sb.de/pub/lp-proceedings

We have also added the ability to interactively query the database using:

http://ps-www.dfki.uni-sb.de/lp-proceedings/bibtex/ghindex.html

The following conferences are in the bibtex bibliography:

Symp. on LP (SLP): 84, 85, 86, 87, 91, 93, 94

North American Conf. on LP (NACLP): P89, 90

Int. Conf. on LP (ICLP): 82, 84, 86, 87, 88, 89, 90, 91, 93, 94

Joint Int. Conf. on LP (JICLP): 92

Logic Programming '88 (LP88)

Int. Conf. on Rewriting Techniques and Applications (RTA): 89, 93, 94

Int. Symp. on Programming Lang. Imp. and LP (PLILP): 90, 91, 92

UK Annual Conf. on LP (ALPUK): 91

Int. Conf. on Fifth Generation Computer Systems (FGCS): 92

Int. Conf. on Algebraic and LP (ALP): 90, 92

Int. Conf. on Automated Deduction (CADE): 90, 92, 94

Int. WS on Conditional and Typed Rewriting Systems (CTRS): 90, 92

Extended Abstracts of the Third Int. WS on Unification (UNIF): 89

Symp. on Logic in Computer Science (LICS): 86 - 91

Portuguese Conf. on Artificial Intelligence (EPIA): 89, 90, 91, 93

Theoretical Aspects of Computer Software (TACS): 91

Theory and Practice of Software Development (TAPSOFT): 93

Second Workshop on Principles and Practice of Constraint Programming: 94

and the following issues of journals:

Journal of LP (JLP): 85, ..., 94

Journal of Automated Reasoning (JAR): 91, 92, 93

Journal of Symbolic Computation (JSC): 91, 92, 93, 94

Information and Computation (IANDC) : 82 -- 92

Formal Aspects of Computing (FAC): 90

We would like to receive bibtex files for related conferences and journals.

Send comments and bug reports to:

Ralf Scheidhauer
DFKI, Stuhlsatzenhausweg 3
D-66123 Saarbrücken, Germany
Tel: +49 681 302 5313
Fax: +49 681 302 5341
Email: Ralf.Scheidhauer@dfki.uni-sb.de
URL: http://ps-www.dfki.uni-sb.de/~scheidhr