Search results
From MaRDI portal
- using constrained Horn clauses 2018-12-04 Paper Tree dimension in verification of constrained Horn clauses 2018-05-31 Paper Horn clause verification with...10 bytes (18 words) - 20:35, 9 December 2023
- constrained Horn clauses using difference predicates 2022-11-09 Paper Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2022-09-30 Paper...10 bytes (16 words) - 16:42, 12 December 2023
- Transformation of Constrained Horn Clauses for Program Verification 2023-12-12 Paper Removing algebraic data types from constrained Horn clauses using difference predicates...10 bytes (18 words) - 18:44, 24 September 2023
- Transformation of Constrained Horn Clauses for Program Verification 2023-12-12 Paper Removing algebraic data types from constrained Horn clauses using difference predicates...10 bytes (16 words) - 18:44, 24 September 2023
- for horn clauses 1993-01-23 Paper https://portal.mardi4nfdi.de/entity/Q3493257 1989-01-01 Paper Extending SLD resolution to equational horn clauses using...10 bytes (16 words) - 13:14, 24 September 2023
- Transformation of Constrained Horn Clauses for Program Verification 2023-12-12 Paper Removing algebraic data types from constrained Horn clauses using difference predicates...10 bytes (16 words) - 03:48, 7 October 2023
- polyhedra 2020-01-23 Paper Cell morphing: from array programs to array-free Horn clauses 2018-08-27 Paper Multi-dimensional Rankings, Program Termination, and...10 bytes (16 words) - 02:06, 13 December 2023
- using constrained Horn clauses 2018-12-04 Paper Tree dimension in verification of constrained Horn clauses 2018-05-31 Paper Horn clause verification with...10 bytes (16 words) - 03:28, 7 October 2023
- transformations 1989-01-01 Paper Extending SLD resolution to equational horn clauses using E-unification 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4205074...10 bytes (18 words) - 09:01, 12 December 2023
- Date of Publication Type Flat and one-variable clauses 2017-07-12 Paper Normalization of Linear Horn Clauses 2011-05-12 Paper https://portal.mardi4nfdi.de/entity/Q3408138...10 bytes (18 words) - 09:23, 25 September 2023
- declarative semantics of flat guarded Horn clauses for programs with perpetual processes 1990-01-01 Paper NESTED GUARDED HORN CLAUSES 1990-01-01 Paper Unfolding rules...10 bytes (16 words) - 07:03, 7 October 2023
- asking the minimum number of questions in Horn clause systems 1995-09-18 Paper Inference flexibility in Horn clause knowledge bases and the simplex method...10 bytes (16 words) - 12:03, 12 December 2023
- Publication Date of Publication Type A declarative extension of horn clauses, and its significance for datalog and its applications 2014-02-27 Paper...10 bytes (16 words) - 22:02, 27 December 2023
- Publication Date of Publication Type Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis 2018-12-04 Paper...10 bytes (16 words) - 20:55, 26 December 2023
- Publication Date of Publication Type Automating induction for solving Horn clauses 2022-08-12 Paper...10 bytes (16 words) - 02:18, 7 October 2023
- Publication Type The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics 1995-03-15 Paper...10 bytes (18 words) - 11:36, 24 September 2023
- of Publication Type Interval-valued probabilistic logic for a class of Horn clauses 1998-12-10 Paper...10 bytes (21 words) - 19:03, 24 September 2023
- mardi4nfdi.de/entity/Q5866353 2022-09-21 Paper Synchronizing Constrained Horn Clauses 2019-01-10 Paper...10 bytes (18 words) - 12:27, 14 March 2024
- functional programs 2023-05-26 Paper Automating induction for solving Horn clauses 2022-08-12 Paper Toward neural-network-guided program synthesis and verification...10 bytes (16 words) - 09:41, 6 October 2023
- program changes through summary repair 2023-10-30 Paper Solving constrained Horn clauses over algebraic data types 2023-08-17 Paper Syntax-guided termination...10 bytes (16 words) - 09:23, 7 October 2023
