Expressive Power of "Now" and "Then" Operators

DSpace Repositorium (Manakin basiert)

Expressive Power of "Now" and "Then" Operators

Autor(en): Yanovich, Igor
Tübinger Autor(en):
Yanovich, Igor
Erschienen in: Journal of Logic Language and Information (2015), Bd. 24, H. 1, S. 65-93
Verlagsangabe: Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s10849-014-9210-3
ISSN: 0925-8531
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: