Hochschulschrift

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

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783898253222
3898253228
Dimensions
21 cm
Extent
207 S.
Language
Englisch
Notes
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 2000

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

Event
Veröffentlichung
(where)
Berlin
(who)
dissertation.de
(when)
2001
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:07 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2001

Other Objects (12)