On modal mu-Calculus with explicit interpolants:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: D'Agostino, Giovanna (VerfasserIn), Lenzi, Giacomo (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam Inst. for Logic, Language and Computation 2002
Schriftenreihe:ILLC research report and technical notes series Logic, philosophy and linguistics series ; 2002,17
Schlagworte:
Beschreibung:13 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!