scientific article; zbMATH DE number 1088020
From MaRDI portal
Publication:4364366
Recommendations
Cited in
(24)- Optimization by non-deterministic, lazy rewriting
- Compiling collapsing rules in certain constructor systems
- Termination of Narrowing in Left-Linear Constructor Systems
- Improving the efficiency of non-deterministic computations
- Programming with narrowing: a tutorial
- Nondeterministic functions and the existence of optimal proof systems
- scientific article; zbMATH DE number 1942455 (Why is no real title available?)
- Termination of narrowing via termination of rewriting
- scientific article; zbMATH DE number 5007864 (Why is no real title available?)
- Reduction strategies for declarative programming
- From Logic to Functional Logic Programs
- Evaluation strategies for functional logic programming
- A Fully Abstract Semantics for Constructor Systems
- Compiling a functional logic language: \textit{The Fair Scheme}
- Rewriting and Call-Time Choice: The HO Case
- Logic Programming
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- Evaluation strategies for functional logic programming
- Functional Logic Programming: From Theory to Curry
- Semantic determinism and functional logic program properties
- Lazy context cloning for non-deterministic graph rewriting
- An execution model for RICE
- scientific article; zbMATH DE number 3956406 (Why is no real title available?)
- Default rules for Curry
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 Q4364366)
