scientific article; zbMATH DE number 2196588
From MaRDI portal
Publication:5465438
zbMath1083.03025MaRDI QIDQ5465438
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationstransition matrixmodal accessibility relationmulti-modal semanticstransformations on Boolean vector spaces
Related Items
Automatic Proof Generation in Kleene Algebra, A bialgebraic approach to automata and formal language theory, Unnamed Item, A Bialgebraic Approach to Automata and Formal Language Theory, How true it is = who says it's true