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.