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
- 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.
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)
![Intensional equality for process calculi based on ε-structures [epsilon-structures]](/assets/placeholder/searchResultMediaUnknown.png)
Intensional equality for process calculi based on ε-structures [epsilon-structures]
"Corporate governance in Germany - an empirical examination of ownership structures, payout policy and disclosure regulation"
Dynamics of emergent structures in digital interactive services: organizational analysis, and complex adaptive system modeling and simulation
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae
Nachhaltige Stadtentwicklung : Beitrag eines Leitbildes zur Verbesserung der Lebensqualität dargestellt an Fallbeispielen ; Großwohnsiedlungen in Izmir und Hamburg
Improved quality oriented mine production planning with operations research
Intensional equality for process calculi based on ε-structures [epsilon-structures]
"Corporate governance in Germany - an empirical examination of ownership structures, payout policy and disclosure regulation"
Dynamics of emergent structures in digital interactive services: organizational analysis, and complex adaptive system modeling and simulation
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae
Nachhaltige Stadtentwicklung : Beitrag eines Leitbildes zur Verbesserung der Lebensqualität dargestellt an Fallbeispielen ; Großwohnsiedlungen in Izmir und Hamburg
Improved quality oriented mine production planning with operations research
Intensional equality for process calculi based on ε-structures [epsilon-structures]
"Corporate governance in Germany - an empirical examination of ownership structures, payout policy and disclosure regulation"
Dynamics of emergent structures in digital interactive services: organizational analysis, and complex adaptive system modeling and simulation
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae
Nachhaltige Stadtentwicklung : Beitrag eines Leitbildes zur Verbesserung der Lebensqualität dargestellt an Fallbeispielen ; Großwohnsiedlungen in Izmir und Hamburg