Computer Science Logic
From MaRDI portal
Publication:5394590
DOI10.1007/11538363zbMath1136.03309OpenAlexW2479351976MaRDI QIDQ5394590
Jacques Duparc, Sandra Quickert, Julian Bradfield
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Applications of game theory (91A80) Descriptive set theory (03E15) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Measure Properties of Game Tree Languages ⋮ Measure properties of regular sets of trees ⋮ An upper bound on the complexity of recognizable tree languages
This page was built for publication: Computer Science Logic
