scientific article; zbMATH DE number 234027
From MaRDI portal
Publication:5287526
zbMath0783.68008MaRDI QIDQ5287526
Publication date: 9 July 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42)
Related Items (10)
Quantifier-free logic for nondeterministic theories ⋮ A new generic scheme for functional logic programming with constraints ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ Unnamed Item ⋮ Quantifier-free logic for multialgebraic theories ⋮ Rewriting and Call-Time Choice: The HO Case ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs
This page was built for publication: