scientific article; zbMATH DE number 1361473
From MaRDI portal
Publication:4699291
zbMath0934.18005MaRDI QIDQ4699291
Luca Bernardinello, Lucia Pomello
Publication date: 1 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantum logiccompatibilitylabelled transition systemsorthomodular posetscase graphscalculus of regionsCE systems
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complemented lattices, orthocomplemented lattices and posets (06C15) Special categories (18B99) Quantum logic (03G12)
Related Items (1)
This page was built for publication: