Search results
From MaRDI portal
- Publication Date of Publication Type Parallel Logic Programming: A Sequel 2023-12-12 Paper Modeling and Reasoning in Event Calculus...10 bytes (13 words) - 10:35, 5 September 2024
- for energy 1997-03-23 Paper Iterative belief revision in extended logic programming 1997-02-27 Paper On the Approximation of Shortest Common Supersequences...10 bytes (16 words) - 09:10, 12 December 2023
- International Conference on Logic Programming Special Issue 2022-09-30 Paper Introduction to the 38th International Conference on Logic Programming Special Issue II...10 bytes (15 words) - 16:22, 7 December 2023
- hybrid circuits in constraint logic programming 1990-01-01 Paper Solving large combinatorial problems in logic programming 1990-01-01 Paper https://portal...10 bytes (16 words) - 01:06, 10 December 2023
- 2007-02-13 Paper Logic Programming 2006-06-27 Paper Checking modes of HAL programs 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper...10 bytes (21 words) - 00:56, 10 December 2023
- A Marriage of Rely/Guarantee and Separation Logic 2008-09-18 Paper Acute: High-level programming language design for distributed computation 2007-09-26...10 bytes (13 words) - 21:07, 24 September 2023
- CLP(R) 2010-05-26 Paper Coinductive logic programming with negation 2010-05-04 Paper Coinductive Logic Programming and Its Applications 2009-03-05 Paper...10 bytes (14 words) - 21:57, 10 December 2023
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...10 bytes (13 words) - 07:46, 9 December 2023
- linear programming approaches for course timetabling 2008-01-23 Paper Logic programming with satisfiability 2008-01-21 Paper Programming Languages and Systems...10 bytes (15 words) - 00:40, 10 December 2023
- 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...10 bytes (16 words) - 03:58, 12 December 2023
- Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18...10 bytes (13 words) - 01:57, 10 December 2023
- effective resource analyses for parallel and distributed coordination 2010-09-14 Paper Semi-explicit parallel programming in a purely functional style: GpH 2009-03-09...10 bytes (15 words) - 16:27, 13 December 2023
- transform and semi-definite programming 2007-10-08 Paper Declarative semantics of programming in residuated lattice-valued logic 2007-02-20 Paper https://portal...10 bytes (13 words) - 21:15, 8 December 2023
- verification of C programs. C-light language and its formal semantics 2003-09-01 Paper Bases for closed sets of implicants and implicates in temporal logic 2003-09-01...10 bytes (12 words) - 12:30, 24 September 2023
- study of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06 Paper Recent...10 bytes (15 words) - 07:45, 9 December 2023
- semantics and program verification using many-sorted hybrid modal logic 2020-05-14 Paper All-path reachability logic 2019-05-17 Paper Program logics and their...10 bytes (14 words) - 20:30, 12 December 2023
- Using the TPTP Language for Writing Derivations and Finite Interpretations 2009-03-12 Paper Extending the TPTP Language to Higher-Order Logic with Automated...10 bytes (15 words) - 14:54, 8 December 2023
- Paper Dynamic programming and graph optimization problems 1994-06-15 Paper Dynamic programming, decision tables, and the Hawaii parallel computer 1994-06-15...10 bytes (12 words) - 13:11, 24 September 2023
- of infinitary rewriting and infinitary equational logic 2018-01-12 Paper CoCaml: functional programming with regular coinductive types 2017-11-10 Paper Cantor...10 bytes (16 words) - 03:32, 7 October 2023
- A tier-based typed programming language characterizing feasible functionals 2022-08-02 Paper A tier-based typed programming language characterizing Feasible...10 bytes (15 words) - 03:24, 10 December 2023
