Search results
From MaRDI portal
- normal logic programs to constraint logic programs 1993-01-16 Paper Projecting CLP(\({\mathcal R}\)) constraints 1993-01-01 Paper Canonical logic programs...10 bytes (18 words) - 00:40, 10 December 2023
- defeasible logic into logic programming 2007-02-13 Paper Oracle semantics for Prolog 2006-10-10 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27...10 bytes (18 words) - 18:25, 12 December 2023
- Robustness with Temporal Logic 2010-09-29 Paper μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ 2009-11-30 Paper Simulation...10 bytes (16 words) - 00:30, 11 December 2023
- of Propositional Separation Logic and Its Neighbours 2014-09-12 Paper Cyclic proofs of program termination in separation logic 2014-09-12 Paper Parametric...10 bytes (16 words) - 15:05, 24 September 2023
- Stable Semantics of Logic Programs 2008-01-04 Paper K-Trivial Closed Sets and Continuous Functions 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (19 words) - 16:57, 9 December 2023
- Termination 2012-06-29 Paper Programs with lists are counter automata 2011-05-23 Paper Quantitative separation logic and programs with lists 2010-10-08 Paper...10 bytes (16 words) - 07:39, 7 October 2023
- Type An efficient cyclic entailment procedure in a fragment of separation logic 2023-11-24 Paper A decision procedure for string logic with quadratic equations...10 bytes (18 words) - 11:59, 6 October 2023
- A complete logic for reasoning about programs via nonstandard model theory. I 1982-01-01 Paper A complete logic for reasoning about programs via nonstandard...10 bytes (17 words) - 12:52, 28 January 2024
- transducers: towards a logic for analysing mutation XSS 2016-10-24 Paper A linear-time algorithm for the orbit problem over cyclic groups 2016-08-22 Paper...10 bytes (18 words) - 23:47, 10 December 2023
- Nondeterministic Programs 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3769956 1986-01-01 Paper A completeness theorem for dynamic logic 1985-01-01...10 bytes (17 words) - 12:29, 28 January 2024
- in Four-Valued Logic 2010-05-04 Paper Programming Languages and Systems 2010-01-05 Paper Reasoning About Data-Parallel Pointer Programs in a Modal Extension...10 bytes (16 words) - 03:05, 7 October 2023
- 1993-03-28 Paper A modal logic for cyclic repeating 1993-01-17 Paper https://portal.mardi4nfdi.de/entity/Q4018076 1993-01-16 Paper Modal logics for knowledge representation...10 bytes (17 words) - 01:08, 11 December 2023
- combinatorial problems in logic programming 1990-01-01 Paper Simulation of hybrid circuits in constraint logic programming 1990-01-01 Paper A logic language for combinatorial...10 bytes (18 words) - 01:06, 10 December 2023
- methodology for fitting and validating metamodels in simulation 2002-02-17 Paper A logic-based foundation of discrete event modeling and simulation 1996-04-28 Paper...10 bytes (18 words) - 00:59, 13 December 2023
- propositional logic 1999-02-04 Paper Teaching Math More Effectively, Through Calculational Proofs 1997-11-09 Paper Equational propositional logic 1997-02-28...10 bytes (17 words) - 17:07, 6 October 2023
- verification of a non-blocking stack 2014-09-12 Paper Cyclic proofs of program termination in separation logic 2014-09-12 Paper https://portal.mardi4nfdi.de/entity/Q2852352...10 bytes (16 words) - 12:29, 6 October 2023
- Paper Verifying properties of differentiable programs 2023-05-26 Paper Action-based model checking: logic, automata, and reduction 2021-02-09 Paper TASS:...10 bytes (19 words) - 10:01, 6 October 2023
- Theory of Transitive Closure Logic 2020-09-11 Paper A non-wellfounded, labelled proof system for propositional dynamic logic 2020-05-14 Paper Towards automated...10 bytes (20 words) - 09:49, 7 October 2023
- Invariants for Affine Programs 2021-01-20 Paper https://portal.mardi4nfdi.de/entity/Q5111354 2020-05-27 Paper Timed Temporal Logics 2020-02-24 Paper On the...10 bytes (18 words) - 22:27, 11 December 2023
- Based on Register Automata 2013-08-05 Paper Automated Cyclic Entailment Proofs in Separation Logic 2011-07-29 Paper Beyond Reachability: Shape Abstraction...10 bytes (17 words) - 13:33, 7 October 2023
