scientific article
From MaRDI portal
Publication:3746911
zbMath0607.68064MaRDI QIDQ3746911
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Spectral sets, The asymmetric topology of computer science, Logic of plotkin continuous domain, Pluri-adjoints and preservation of finite limits, Some economic applications of Scott domains, Continuous Domains and their Information System Representation as Logical Systems
