Eintrag weiter verarbeiten
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
Gespeichert in:
Zeitschriftentitel: | Journal of Logic and Computation |
---|---|
Personen und Körperschaften: | |
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: |