Publication:3707375
From MaRDI portal
zbMath0584.68032MaRDI QIDQ3707375
Publication date: 1984
congruence relation; reduction algorithm; Church-Rosser property; many-sorted algebras; constructive data types; finite specification; strong normalization property
68P05: Data structures
08C15: Quasivarieties
68N01: General topics in the theory of software
03D45: Theory of numerations, effectively presented structures