scientific article; zbMATH DE number 729924
From MaRDI portal
Publication:4325153
zbMath0812.18006MaRDI QIDQ4325153
Publication date: 7 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed pointscorrectnessrecursion theorynondeterministic programsDM-categoriesiterative operative spaces
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (1)
This page was built for publication: