DOI10.4204/eptcs.379.18arXiv2307.05059MaRDI QIDQ6199611
Unnamed Author, Joseph Y. Halpern
Publication date: 28 February 2024 Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/2307.05059
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX)
Cites Work