A quantified temporal logic for ampliation and restriction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
2013
|
| In: |
Vivarium
Year: 2013, Jahrgang: 51, Heft: 1/4, Pages: 485-510 |
| ISSN: | 0042-7543 |
| Online-Zugang: |
|
| Verfasserangaben: | Sara L. Uckelman |
Search Result 1
