Modal logic and process algebra a bisimulation perspective

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ponse, Alban (HerausgeberIn), Rijke, Maarten de (HerausgeberIn), Venema, Yde (HerausgeberIn), Andréka, Hajnal (MitwirkendeR), Benthem, Johan van (MitwirkendeR), Németi, I. (MitwirkendeR), Bergstra, J.A. (MitwirkendeR), Caucal, Didier (MitwirkendeR), Goldblatt, Robert (MitwirkendeR), Hodkinson, Ian (MitwirkendeR), Visser, Albert (MitwirkendeR), Jongh, Dick de (MitwirkendeR), Renardel de Lavalette, Gerard R. (MitwirkendeR)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Stanford, Calif. Center for the Study of Language and Information 1995
Ausgabe:1. [Dr.]
Schriftenreihe:CSLI lecture notes 53
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIX, 327 S.
graph. Darst.
Bibliographie:Literaturangaben
ISBN:188152695x
1881526968