Hochschulschrift
Translational Expressiveness. Comparing Process Calculi using Encodings
- Weitere Titel
-
Translational Expressiveness. Vergleich von Prozess Kalkülen mit Hilfe von Kodierungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universtität Berlin, Diss., 2012
- Klassifikation
-
Biowissenschaften, Biologie
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Universitätsbibliothek der Technischen Universität Berlin
- (wann)
-
2012
- Urheber
- Beteiligte Personen und Organisationen
-
Nestmann, Uwe
- URN
-
urn:nbn:de:kobv:83-opus-37495
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Peters, Kirstin
- Nestmann, Uwe
- Universitätsbibliothek der Technischen Universität Berlin
Entstanden
- 2012
Ähnliche Objekte (12)
Comparing process calculi using encodings
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Comparing Imperative and Declarative Process Models
Comparing Imperative and Declarative Process Models
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Igel: Comparing document grammars using XQuery
Igel: Comparing document grammars using XQuery
Comparing process calculi using encodings
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Comparing Imperative and Declarative Process Models
Comparing Imperative and Declarative Process Models
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Igel: Comparing document grammars using XQuery
Igel: Comparing document grammars using XQuery
Comparing process calculi using encodings
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Comparing Imperative and Declarative Process Models
Comparing Imperative and Declarative Process Models
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Igel: Comparing document grammars using XQuery