dblp.uni-trier.de www.uni-trier.de

Logic Programming


Search:
Author - Title
Advanced Search
Conferences: ICLP, SLP/NACLP, PLILP, PEPM, POPL, LICS, LOPSTR, RCLP/LPAR, CCL, PPCP, WCLP, ELP, ALP, LPE, LP, FGCS, AADEBUG, ALPUK, WSA/SAS, META, ASPLOS, ...
Journals:
CACM
IEEE Computer
Journal of Logic Programming, Journal of Functional and Logic Programming, Journal of Symbolic Computation, New Generation Computing, ...
Series / Books: LNCS/LNAI
Links:
ACM (DL)
IEEE CompS (DL)
CoRR, HBP, NZ-DL, CS BibTeX
The Association of Logic Programming, SIGPLAN
Other Subjects: Database Systems, Information Retrieval, Hypertext, ...

Acknowledgements: DBLP and The ACM SIGMOD Anthology were partially supported by Universität Trier - Forschungsfonds, ACM SIGMOD, The VLDB Endowment, The EDBT Endowment, and Microsoft Research. Numerous volunteers helped to collect and maintain the information provided by this server.

Copyright © Sat May 16 23:49:00 2009 by Michael Ley (ley@uni-trier.de)