|
|
| Search: Author - Complete - Faceted |
|
| 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, ... |