scientific article; zbMATH DE number 1479646
From MaRDI portal
Publication:4490763
zbMath0942.68617MaRDI QIDQ4490763
Marcello M. Bonsangue, Joost N. Kok
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items (2)
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Duality beyond sober spaces: Topological spaces and observation frames
This page was built for publication:
