scientific article
From MaRDI portal
Publication:3719823
zbMath0591.68040MaRDI QIDQ3719823
Istvan Németi, Irène Guessarian, Hajnalka Andréka
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic algebrascontinuous algebrasclasses of ordered algebras closed under ultraproductsgeneral computational modelsmodels for programming logics
Abstract data types; algebraic specification (68Q65) Ordered rings, algebras, modules (06F25) Axiomatic model classes (08C10)
Related Items