Eintrag weiter verarbeiten
Linear temporal logic with until and next, logical consecutions
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Linear temporal logic with until and next, logical consecutions |
In: | Annals of Pure and Applied Logic, 155, 2008, 1, S. 32-45 |
veröffentlicht: |
Elsevier BV
|
Umfang: | 32-45 |
ISSN: |
0168-0072 |
DOI: | 10.1016/j.apal.2008.03.001 |
Format: | E-Article |
Quelle: | Elsevier BV (CrossRef) |
Sprache: | Englisch |