scientific article; zbMATH DE number 2182599
From MaRDI portal
zbMath1081.08007MaRDI QIDQ4681457
Publication date: 23 June 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationspartial algebrasterm rewritingbased specificationsdecidability of equational problems
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Partial algebras (08A55)
Related Items