Eintrag weiter verarbeiten
Unification in linear temporal logic LTL
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: |
Unification in linear temporal logic LTL |
In: | Annals of Pure and Applied Logic, 162, 2011, 12, S. 991-1000 |
veröffentlicht: |
Elsevier BV
|
Umfang: | 991-1000 |
ISSN: |
0168-0072 |
DOI: | 10.1016/j.apal.2011.06.004 |
Format: | E-Article |
Quelle: | Elsevier BV (CrossRef) |
Sprache: | Englisch |