Pages that link to "Item:Q1801319"
From MaRDI portal
The following pages link to Foundations of equational logic programming (Q1801319):
Displaying 34 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Equality and abductive residua for Horn clauses (Q689280) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- A new deductive approach to planning (Q922685) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. (Q2841221) (← links)
- A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- A Finite Representation of the Narrowing Space (Q3453648) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- Regular substitution sets: A means of controlling E-unification (Q5055844) (← links)
- Higher order conditional rewriting and narrowing (Q5096313) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Termination by absence of infinite chains of dependency pairs (Q5878910) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation (Q5881277) (← links)
- Constrained equational deduction (Q5881303) (← links)
- On the specification of visual languages: multisets as first-class citizens (Q6560194) (← links)
