Eintrag weiter verarbeiten
Buchumschlag von A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
Verfügbar über Online-Ressource

A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Journal of Logic and Computation
Personen und Körperschaften: FISHER, MICHAEL
In: Journal of Logic and Computation, 7, 1997, 4, S. 429-456
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Oxford University Press (OUP)
Schlagwörter: