Fixed-point logics and solitaire games
From MaRDI portal
Publication:1764420
DOI10.1007/s00224-004-1147-5zbMath1061.68100MaRDI QIDQ1764420
Erich Grädel, Dietmar Berwanger
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