Axioms for Branching Time
From MaRDI portal
Publication:5894817
DOI10.1093/LOGCOM/12.4.679zbMath0996.00513OpenAlexW2049128357WikidataQ114632460 ScholiaQ114632460MaRDI QIDQ5894817
No author found.
Publication date: 20 October 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/12.4.679
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (1)
This page was built for publication: Axioms for Branching Time
