Expressivity and definability in extended modal languages

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Heinle, Wolfgang (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	1995
Schlagworte:	Modallogik Spezifikationssprache Definierbarkeit Temporale Logik Relationenalgebra Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Expressivity and definability in extended modal languages von Heinle, Wolfgang

Veröffentlicht 1995

Inhaltsverzeichnis

Buch