scientific article; zbMATH DE number 788038
From MaRDI portal
Publication:4844168
Cited in
(28)- A semantics for modular general logic programs
- Functional-logic integration via minimal reciprocal extensions
- Bounded quantifications for iteration and concurrency in logic programming
- Reflection in conditional rewriting logic
- Agenda control for heterogeneous reasoners
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
- Fast offline partial evaluation of logic programs
- Automated reasoning with restricted intensional sets
- A framework for timed concurrent constraint programming with external functions
- scientific article; zbMATH DE number 1497834 (Why is no real title available?)
- Coding guidelines for Prolog
- A three-valued semantics for typed logic programming
- scientific article; zbMATH DE number 7453192 (Why is no real title available?)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
- Proving correctness of constraint logic programs with dynamic scheduling
- Verification of logic programs with delay declarations
- Higher-order narrowing with convergent systems
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Adding Metalogic Features to Knowledge Representation Languages*
- Towards Typed Prolog
- -Universal termination of logic programs
- Reasoning about nonlinear system identification
- VeriFly: On-the-fly Assertion Checking via Incrementality
- Fifty Years of Prolog and Beyond
- Data type inference for logic programming
- Lightweight functional logic meta-programming
- Implementing constructive intensional negation
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4844168)
