Fixed-point logics and solitaire games
From MaRDI portal
Publication:1764420
DOI10.1007/s00224-004-1147-5zbMath1061.68100MaRDI QIDQ1764420
Dietmar Berwanger, Erich Grädel
Publication date: 24 February 2005
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-004-1147-5
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Deciding Parity Games in Quasi-polynomial Time, Alternating traps in Muller and parity games, Solving parity games via priority promotion, New deterministic algorithms for solving parity games, Robust worst cases for parity games algorithms, Unnamed Item, The Descriptive Complexity of Parity Games