Search results
From MaRDI portal
- termination of general Prolog programs 2022-08-16 Paper Verification of logic programs with delay declarations 2022-08-16 Paper Coordination Games on Weighted...10 bytes (19 words) - 00:04, 12 December 2023
- Algorithms with polynomial interpretation termination proof 2001-09-09 Paper From multiple sequent for additive linear logic to decision procedures for...10 bytes (18 words) - 13:28, 28 January 2024
- Plotkin logic 2008-11-12 Paper A Simple Model of Separation Logic for Higher-Order Store 2008-08-19 Paper Relational Parametricity and Separation Logic 2008-08-07...10 bytes (17 words) - 03:23, 9 December 2023
- Publication Date of Publication Type Typed interpretations of extensible objects 2017-06-13 Paper Formal methods for web security 2017-02-22 Paper Fine-Grained...10 bytes (17 words) - 05:32, 12 December 2023
- Polynomial interpretations as a basis for termination analysis of logic programs 2011-08-17 Paper The Dependency Triple Framework for Termination of Logic Programs...10 bytes (18 words) - 06:43, 7 October 2023
- Defeasibility in Description Logics 2016-11-30 Paper Ontology Learning from Interpretations in Lightweight Description Logics 2016-10-19 Paper Preferential...10 bytes (16 words) - 02:55, 13 December 2023
- Social Machines 2013-08-09 Paper Hoare Logic in the Abstract 2009-03-12 Paper Panelist position statement: logic and models in computer science 2009-01-20...10 bytes (18 words) - 04:12, 9 December 2023
- 2005-04-04 Paper The axiom of choice and combinatory logic 2005-02-09 Paper Polytime, combinatory logic and positive safe induction 2003-09-16 Paper The undecidability...10 bytes (16 words) - 10:48, 12 December 2023
- Publication Type The logic languages of the TPTP world 2024-02-20 Paper Solving modal logic problems by translation to higher-order logic 2024-01-16 Paper...10 bytes (16 words) - 17:52, 9 December 2023
- mardi4nfdi.de/entity/Q2844067 2013-08-27 Paper Transforming equality logic to propositional logic 2013-04-19 Paper A Rewriting View of Simple Typing 2013-04-09...10 bytes (17 words) - 04:11, 9 December 2023
- Hybrid Functional Interpretations 2008-06-19 Paper Computer Science Logic 2006-11-01 Paper A complexity analysis of functional interpretations 2005-06-30 Paper...10 bytes (18 words) - 07:39, 7 October 2023
- Temporal Logic for Real Time 2007-09-05 Paper A logic of reachable patterns in linked data-structures 2007-08-23 Paper On decidability of monadic logic of order...10 bytes (16 words) - 00:32, 10 December 2023
- Paper On the complexity of entailment in existential conjunctive first-order logic with atomic negation 2012-10-11 Paper A general label search to investigate...10 bytes (16 words) - 20:22, 11 December 2023
- equivalences 2023-08-03 Paper Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting 2022-10-14 Paper Choiceless Polynomial Time...10 bytes (14 words) - 10:52, 5 September 2024
- shorthand notes on logic and foundations of mathematics 2016-08-10 Paper David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited...10 bytes (19 words) - 15:59, 7 December 2023
- Logical Framework with Explicit Conversions 2014-01-10 Paper Separation Logic for Non-local Control Flow and Block Scope Variables 2013-03-18 Paper A Synthesis...10 bytes (16 words) - 02:55, 7 October 2023
- Analysis 2009-11-12 Paper Bounded Linear Logic, Revisited 2009-07-07 Paper Certification Using the Mobius Base Logic 2009-02-12 Paper Nominal Renaming Sets...10 bytes (18 words) - 06:07, 12 December 2023
- Date of Publication Type An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability 2023-12-12...10 bytes (16 words) - 08:20, 7 October 2023
- Axiomatizations in Godel Propositional Logic 2011-11-10 Paper An analysis of Ruspini partitions in Gödel logic 2010-04-07 Paper Open Partitions and Probability...10 bytes (18 words) - 14:32, 28 January 2024
- 2020-03-30 Paper The Model Theory of Generic Cuts 2020-02-03 Paper INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC 2014-12-05 Paper CIRCULARITY IN...10 bytes (18 words) - 14:23, 28 January 2024
