scientific article; zbMATH DE number 1088020
From MaRDI portal
Publication:4364366
zbMATH Open0886.68034MaRDI QIDQ4364366FDOQ4364366
Authors: Sergio Antoy
Publication date: 17 November 1997
Title of this publication is not available (Why is that?)
Recommendations
Cited In (23)
- Termination of Narrowing in Left-Linear Constructor Systems
- Improving the efficiency of non-deterministic computations
- Programming with narrowing: a tutorial
- Title not available (Why is that?)
- Nondeterministic functions and the existence of optimal proof systems
- Termination of narrowing via termination of rewriting
- Title not available (Why is that?)
- Reduction strategies for declarative programming
- From Logic to Functional Logic Programs
- Evaluation strategies for functional logic programming
- A Fully Abstract Semantics for Constructor Systems
- Rewriting and Call-Time Choice: The HO Case
- Compiling Collapsing Rules in Certain Constructor Systems
- Logic Programming
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- Evaluation strategies for functional logic programming
- Compiling a Functional Logic Language: The Fair Scheme
- Functional Logic Programming: From Theory to Curry
- Semantic determinism and functional logic program properties
- Lazy context cloning for non-deterministic graph rewriting
- Title not available (Why is that?)
- Default rules for Curry
- Optimization by non-deterministic, lazy rewriting
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)