Pages that link to "Item:Q4916076"
From MaRDI portal
The following pages link to Functional Logic Programming: From Theory to Curry (Q4916076):
Displaying 15 items.
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← links)
- Equivalence of Two Formal Semantics for Functional Logic Programs (Q2867964) (← links)
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (Q3617429) (← links)
- Default rules for Curry (Q4593082) (← links)
- (Q5013811) (← links)
- (Q5020543) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)
