Hochschulschrift

Intensional equality for process calculi based on ε-structures [epsilon-structures]

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783898253222
3898253228
Maße
21 cm
Umfang
207 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 2000

Schlagwort
Prozessalgebra
Intensionale Logik
Funktionale Semantik
Nichtwohlfundierte Menge
Selbstbezüglichkeit
Transitionssystem

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
dissertation.de
(wann)
2001
Urheber
Pooyan-Weihs, Ladan

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:07 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Pooyan-Weihs, Ladan
  • dissertation.de

Entstanden

  • 2001

Ähnliche Objekte (12)