Decidability for branching time
- 1 January 1980
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 39 (2) , 203-218
- https://doi.org/10.1007/bf00370320
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The unreal futureTheoria, 1978
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967