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
Pooyan-Weihs, Ladan

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

  • Pooyan-Weihs, Ladan
  • dissertation.de

Time of origin

  • 2001

Other Objects (12)