theory and practice of logic programming (8)
international journal of foundations of computer science (4)
theory & practice of logic programming (4)
international journal on software tools for technology transfer (3)
logic programming (paphos, 2001) (3)
theoretical computer science (3)
logic programming (9783540366355) (2)
proceedings of the 1992 acm conference: lisp & functional programming (2)
proceedings of the acm sigplan 1996 conference: programming language design & implementation (2)
proceedings of the seventeenth acm sigact-sigmod-sigart symposium: principles of database systems (2)
2006 ieee long island systems, applications and technology conference, systems, applications and technology conference, 2006. lisat 2006. ieee long island (1)
2017 ieee 29th international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2017 ieee 29th international conference on, ictai (1)
2019 ieee 31st international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2019 ieee 31st international conference on (1)
2022 ieee international conference on quantum computing and engineering (qce), quantum computing and engineering (qce), 2022 ieee international conference on, qce (1)
29th international conference on concurrency theory (1)
35th international symposium on distributed computing (1)
acm / sigplan notices (1)
acm letters on programming languages & systems (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
algebraic methodology and software technology (1)
computer aided verification (1)
computer languages (1)
computers & security (1)
concur 2009 - concurrency theory (1)
concur 2009---concurrency theory (1)
coordination models & languages (9783540682646) (1)
from programs to systems. the systems perspective in computing (1)
functional & logic programming (1)
functional and logic programming (tsukuba, 1999) (1)
journal of applied logic (1)
journal of functional programming (1)
knowledge engineering review (1)
leveraging applications of formal methods, verification & validation. specialized techniques & applications: part ii (1)
lfp: conference on lisp & functional programming (1)
logic programming (1)
logic programming (9780262291248) (1)
logic programming (9780262291309) (1)
logic programming (9780262291460) (1)
logic programming (budapest, 1993) (1)
logic programming (manchester, 1998) (1)
practical aspects of declarative languages (1)
practical aspects of declarative languages (9783540309475) (1)
practical aspects of declarative languages (9783540696087) (1)
principles & practice of declarative programming (1)
principles of declarative programming (1)
proceedings 35th international conference on logic programming (technical communications) (1)
proceedings of spie (1)
proceedings of the 14th acm symposium: access control models & technologies (1)
science of computer programming (1)
tools & algorithms for the construction & analysis of systems (9783540643562) (1)