Search results
From MaRDI portal
- Regular Language Constraints 2013-08-05 Paper Solving Difference Constraints over Modular Arithmetic 2013-06-14 Paper A Lagrangian Relaxation Based Forward-Backward...10 bytes (15 words) - 23:40, 9 December 2023
- 2015-12-17 Paper Compiling a Functional Logic Language: The Fair Scheme 2015-11-30 Paper Implementing functional logic languages using multiple threads and...10 bytes (13 words) - 06:27, 7 October 2023
- Datalog and Logic Databases 2015-11-23 Paper GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES 2015-04-29 Paper Logic programming with function symbols:...10 bytes (13 words) - 20:48, 24 September 2023
- There with Arithmetic 2023-12-12 Paper Towards Verifying Logic Programs in the Input Language of clingo 2022-11-09 Paper Strong Equivalence of Logic Programs...10 bytes (15 words) - 16:17, 9 December 2023
- theory 1997-02-28 Paper A feature constraint system for logic programming with entailment 1994-11-29 Paper Records for logic programming 1994-05-05 Paper On...10 bytes (15 words) - 15:04, 10 December 2023
- Paper Rational spaces and set constraints 1997-02-27 Paper Decidability of systems of set constraints with negative constraints 1995-10-30 Paper Efficient...10 bytes (16 words) - 10:54, 6 October 2023
- Answers in Constraint Functional-Logic Programming 2008-03-11 Paper Functional and Logic Programming 2007-09-25 Paper A new generic scheme for functional logic...10 bytes (16 words) - 17:01, 9 December 2023
- with set constraints and cardinality constraints on role successors 2018-01-04 Paper Metric temporal description logics with interval-rigid names 2018-01-04...10 bytes (15 words) - 18:33, 24 September 2023
- fixpoint semantics of concurrent constraint logic programs 1993-01-16 Paper Kernel-LEAF: A logic plus functional language 1991-01-01 Paper Finite failures...10 bytes (14 words) - 04:01, 13 December 2023
- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming 2008-03-11 Paper Functional and Logic Programming 2007-09-25 Paper Solving...10 bytes (17 words) - 07:19, 9 December 2023
- specializations 1993-01-17 Paper Solving a cutting-stock problem with the constraint logic programming language CHIP 1993-01-16 Paper https://portal.mardi4nfdi.de/entity/Q4012214...10 bytes (16 words) - 00:06, 10 December 2023
- Paper Latent Effects for Reusable Language Components 2023-03-29 Paper A functional account of probabilistic programming with possible worlds. Declarative pearl...10 bytes (13 words) - 10:32, 7 October 2023
- probabilistic spatio-temporal knowledge bases with capacity constraints 2017-09-05 Paper Advection-diffusion equation with absorbing boundary 2017-03-03 Paper Knowledge...10 bytes (14 words) - 04:12, 12 December 2023
- Generating minimum transitivity constraints in P-time for deciding equality logic 2013-12-06 Paper Reduced functional consistency of uninterpreted functions...10 bytes (13 words) - 19:10, 6 October 2023
- 2009-01-15 Paper Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM 2009-01-15 Paper On temporal logic constraint solving for analyzing...10 bytes (13 words) - 15:15, 6 October 2023
- Models for Distributed Computing 2014-03-25 Paper A rewriting logic framework for soft constraints 2014-01-24 Paper Comparing three coordination models: Reo...10 bytes (16 words) - 13:33, 8 December 2023
- computational theory of a Turing complete functional language model 2022-12-12 Paper A Certified Functional Nominal C-Unification Algorithm 2022-08-25...10 bytes (17 words) - 09:13, 7 October 2023
- templates with functional constraints 2024-04-25 Paper Robustness against Read committed for transaction templates with functional constraints 2024-04-23...10 bytes (14 words) - 09:06, 6 October 2023
- Higher-Order Logic Programming Languages with Constraints: A Semantics 2009-03-10 Paper Formalizing a Constraint Deductive Database Language Based on Hereditary...10 bytes (14 words) - 09:57, 7 October 2023
- 2003-04-27 Paper CASL: the Common Algebraic Specification Language. 2003-01-21 Paper ELAN from a rewriting logic point of view 2002-08-13 Paper Combining assisted...10 bytes (15 words) - 07:52, 6 October 2023
