scientific article
From MaRDI portal
Publication:3311647
zbMath0529.68008MaRDI QIDQ3311647
Giancarlo Mauri, Pierangelo Miglioli, Alberto Bertoni
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
prime modelrecursive modelspecification of abstract data typesisoinitial model of a first order theory
Categorical logic, topoi (03G30) Data structures (68P05) Computable structure theory, computable model theory (03C57) Basic properties of first-order languages and structures (03C07)
Related Items (3)
Preface ⋮ Formal reasoning about modules, reuse and their correctness ⋮ An abstract formalization of correct schemas for program synthesis
This page was built for publication:
