fundamenta informaticae (86)
theory and practice of logic programming (14)
formal aspects of computing (10)
theory & practice of logic programming (9)
logic-based program synthesis and transformation (7)
higher-order and symbolic computation (4)
formal aspects of computing: applicable formal methods (3)
journal of logic and computation (3)
journal of logic programming (3)
logic based program synthesis and transformation (3)
acm / sigplan notices (2)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (2)
higher-order & symbolic computation (2)
journal of logic & computation (2)
proceedings of the 1991 acm sigplan symposium: partial evaluation & semantics-based program manipulation (2)
proceedings of the 24th acm sigplan-sihact symposium: principles of programming languages (2)
undersea & hyperbaric medicine (2)
2021 ieee international conference on service-oriented system engineering (sose), service-oriented system engineering (sose), 2021 ieee international conference on, sose (1)
2021 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2021 ieee international symposium on, issrew (1)
2023 ieee international conference on artificial intelligence testing (aitest), artificial intelligence testing (aitest), 2023 ieee international conference on, aitest (1)
automated reasoning. part i (1)
automatic program development (1)
category theory and computer science (edinburgh, 1987) (1)
computational logic: logic programming and beyond. part i (1)
computational logic---cl 2000 (london) (1)
echallenges e-2014 conference proceedings, echallenges e-2014, 2014 conference (1)
electronic notes in theoretical computer science (1)
electronic proceedings in theoretical computer science (1)
handbook of logic in artificial intelligence and logic programming, vol.\ 5 (1)
inductive logic programming (1)
intelligenza artificiale (1)
international journal of information system modeling & design (ijismd) (1)
journal of systems & software (1)
logic based program synthesis & transformation (9783540326540) (1)
logic based program synthesis and transformation (london, 2000) (1)
logic programming (las cruces, nm, 1999) (1)
logic programming (lisbon, 1989) (1)
logic programming (portland, or, 1995) (1)
logic, data and wisdom (1)
logic-based program synthesis & transformation (1)
monitoring, security & rescue techniques in multiagent systems (1)
parallel algorithm derivation & program transformation (1)
proceedings 3rd workshop on horn clauses for verification and synthesis (1)
proceedings 5th workshop on horn clauses for verification and synthesis (1)
proceedings first workshop on horn clauses for verification and synthesis (1)
proceedings of the sixth workshop on horn clauses for verification and synthesis and third workshop on program equivalence and relational reasoning (1)
program development in computational logic (1)
rules and reasoning (1)
the journal of systems & software (1)
undersea and hyperbaric medicine (1)