scientific article; zbMATH DE number 2063220
From MaRDI portal
Publication:4460835
zbMath1052.03013MaRDI QIDQ4460835
Publication date: 29 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Categorical logic, topoi (03G30) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05)
Related Items