Publication:4123303

From MaRDI portal

Jump to:navigation, search

zbMath0353.02016MaRDI QIDQ4123303

Ignacio Sols, José Meseguer, Michael Pfender, Wolfgang Kuehnel

Publication date: 1976

Mathematics Subject Classification ID

68W99: Algorithms in computer science

18A15: Foundations, relations to logic and deductive systems

Related Items

Varieties of chain-complete algebras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4123303&oldid=17906218"