Temporal logic mathematical foundations and computational aspects

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gabbay, Dov M. (VerfasserIn)
Weitere Verfasser:	Hodkinson, Ian (BerichterstatterIn), Reynolds, Mark (BerichterstatterIn), Finger, Marcelo (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oxford Clarendon Press 1994-2003
Schriftenreihe:	Oxford logic guides ...
Schlagworte:	Logic > Temporale Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Vol. 2 verfaßt von Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger