scientific article; zbMATH DE number 3614202
From MaRDI portal
Publication:4178511
zbMath0395.68070MaRDI QIDQ4178511
Horst Reichel, Heinz Kaphengst
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursively EnumerableEquation GrammarsEquational-Partial Heterogenous AlgebrasEquoidInitial Algebraic SemanticsNon Context-Free Languages
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Partial algebras (08A55) Models of other mathematical theories (03C65)
Related Items (4)
Conditional theories ⋮ Modular algebraic specification of some basic geometrical constructions ⋮ Semantics of algorithmic languages ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
This page was built for publication:
