The following pages link to (Q3716279):
Displaying 50 items.
- Temporal logic programming (Q582280) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Dynamic detection of determinism in functional logic languages (Q673493) (← links)
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Why a single parallelization strategy is not enough in knowledge bases (Q686639) (← links)
- Accumulators: New logic variable abstractions for functional languages (Q808233) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- CAL: A theoretical background of constraint logic programming and its applications (Q908680) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Logic programming with external procedures: Introducing S-unification (Q1097682) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- Learning elementary formal systems (Q1186429) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- A relational approach to logic programming: The extended Alexander method (Q1263276) (← links)
- Objects in algebraic programming system (Q1264601) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- MLOG: A strongly typed confluent functional language with logical variables (Q1314424) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Algebraic programming: Methods and tools (Q1895040) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Geometry of torsion (Q1905756) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Preface (Q4593090) (← links)
- A domain-theoretic approach to functional and logic programming (Q4764614) (← links)
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)
- Negation with logical variables in conditional rewriting (Q5055728) (← links)
- Optimization by non-deterministic, lazy rewriting (Q5055730) (← links)
- Narrowing directed by a graph of terms (Q5055753) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)
- FPL : Functional plus logic programming an integration of the FP and Prolog languages (Q5881284) (← links)
