A quantified temporal logic for ampliation and restriction

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Uckelman, Sara L. (VerfasserIn)
Dokumenttyp: Article (Journal)
Sprache:Englisch
Veröffentlicht: 2013
In: Vivarium
Year: 2013, Jahrgang: 51, Heft: 1/4, Pages: 485-510
ISSN:1568-5349
DOI:10.1163/15685349-12341259
Online-Zugang:Verlag, Volltext: http://dx.doi.org/10.1163/15685349-12341259
Volltext
Verfasserangaben:Sara L. Uckelman, Ruprecht-Karls Universität Heidelberg
Beschreibung
Beschreibung:Gesehen am: 14.12.2020
Beschreibung:Online Resource
ISSN:1568-5349
DOI:10.1163/15685349-12341259