scientific article; zbMATH DE number 408794

zbMath0819.68030MaRDI QIDQ4202938

Mario Rodríguez Artalejo, Juan Carlos Gonzalez-Moreno, M. Teresa Hortalá-González

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

denotational semanticslogic programming languagesdeclarative semanticsconditional rewriting systemscontinuous applicative algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

Level-confluence of conditional rewrite systems with extra variables in right-hand sides, A declarative framework for object-oriented programming with genetic inheritance

Uses Software

• Miranda