scientific article; zbMATH DE number 3772918
From MaRDI portal
Publication:3953140
Cites work
- Abstract data types and software validation
- CLU reference manual
- Completions of partially ordered sets and universal algebras
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Heterogeneous algebras
- scientific article; zbMATH DE number 3724512 (Why is no real title available?)
- scientific article; zbMATH DE number 3735106 (Why is no real title available?)
- scientific article; zbMATH DE number 3765865 (Why is no real title available?)
- scientific article; zbMATH DE number 3514952 (Why is no real title available?)
- scientific article; zbMATH DE number 3001304 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- scientific article; zbMATH DE number 3305127 (Why is no real title available?)
- Initial Algebra Semantics and Continuous Algebras
- On partially ordered algebras I
- On varieties closed under the construction of power algebras
- Parameter passing in nondeterministic recursive programs
- Permanence of identities on algebras
- Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
- The validity of equations of complex algebras
- Tree-Manipulating Systems and Church-Rosser Theorems
Cited in
(2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3953140)
