scientific article; zbMATH DE number 3639138

From MaRDI portal

Revision as of 13:20, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4198051

Jump to:navigation, search

zbMath0411.68033MaRDI QIDQ4198051

P. A. Miglioli, Giancarlo Mauri, Alberto Bertoni

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursiveness category of models Abstract data types model theoretic invariant

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) Special categories (18B99) Applications of computability and recursion theory (03D80) Properties of classes of models (03C52) Categories of algebras (08C05) Models of other mathematical theories (03C65)

Related Items (6)

A second order theory of data types ⋮ Preface ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Semantics of algorithmic languages ⋮ A constructive method for abstract algebraic software specification ⋮ A systematic study of models of abstract data types

This page was built for publication:

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