Publication:3150204
From MaRDI portal
zbMath1020.68061MaRDI QIDQ3150204
Julian Bradfield, Sibylle Fröschle
Publication date: 30 September 2002
68T27: Logic in artificial intelligence
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Imperfect Information in Logic and Concurrent Games, Equivalence Criteria for Compositional IF Modal Logics, Hybrid logic meets IF modal logic, On the computational consequences of independence in propositional logic, Logics and Bisimulation Games for Concurrency, Causality and Conflict