theoretical computer science (22)
information and computation (7)
theory and practice of logic programming (6)
electronic notes in theoretical computer science (5)
entcs: electronic notes in theoretical computer science (5)
acm transactions on programming languages & systems (4)
fundamenta informaticae (4)
bmc systems biology (3)
formal aspects of computing (3)
journal of logic programming (3)
natural computing (3)
international journal of foundations of computer science (2)
journal of logic and algebraic programming (2)
logic programming languages (2)
logic-based program synthesis and transformation (2)
neural computing & applications (2)
2010 12th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2010 12th international symposium on (1)
2023 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2023 international joint conference on (1)
25-year perspective on logic programming (1)
acm transactions on programming languages and systems (1)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (1)
algebra, combinatorics and logic in computer science, vol.\ i, ii (gyor, 1983) (1)
algebraic and logic programming (madrid, 1994) (1)
algebraic and logic programming (southampton, 1997) (1)
computational methods in systems biology (9783642038440) (1)
eighth annual ieee symposium on logic in computer science (montreal, pq, 1993) (1)
electronics (2079-9292) (1)
extensions of logic programming (bologna, 1992) (1)
formal aspects of computing: applicable formal methods (1)
functional & logic programming (1)
information & computation (1)
information and control (1)
journal of logic & algebraic programming (1)
journal of logic & computation (1)
journal of logic and computation (1)
logic based program synthesis and transformation (1)
logic programming (9780262291309) (1)
logic programming (paris, 1991) (1)
natural computing. an international journal (1)
natural computing: an international journal (1)
neural computing and applications (1)
proceedings of the 11th acm sigplan conference: principles & practice of declarative programming (1)
proceedings of the 2010 acm sigplan workshop: partial evaluation & program manipulation (1)
proceedings of the first acm international conference: bioinformatics & computational biology (1)
programming language implementation and logic programming (leuven, 1992) (1)
programming language implementation and logic programming (passau, 1991) (1)
programming languages with applications to biology & security (1)
programming languages with applications to biology and security (1)
the art of modelling computational systems---a journey from logic and concurrency to security and privacy (1)
theory & practice of logic programming (1)