scientific article
From MaRDI portal
Publication:3795208
zbMath0649.68029MaRDI QIDQ3795208
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationsalgebraic semanticsconditional term rewriting systemsconfluence of reducing systemscritical-pair criterionquasi-initial models
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (2)
Comparison of functional and predicative query paradigms ⋮ Shallow confluence of conditional term rewriting systems
This page was built for publication:
