scientific article
From MaRDI portal
Publication:3490935
zbMath0708.68015MaRDI QIDQ3490935
Juan José Moreno-Navarro, Mario Rodríguez Artalejo
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17) General topics in the theory of software (68N01)
Related Items (6)
Completeness results for basic narrowing ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Lazy narrowing in a graph machine ⋮ Dynamic detection of determinism in functional logic languages ⋮ Relating the implementation techniques of functional and functional logic languages ⋮ A Proposal for Disequality Constraints in Curry
Uses Software
This page was built for publication:
