An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic

From MaRDI portal
Publication:1854353

DOI10.1006/inco.1999.2846zbMath1005.03021OpenAlexW2050398281MaRDI QIDQ1854353

Kousha Etessami, Thomas Wilke

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1999.2846




Related Items



Cites Work