- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Electronic Proceedings in Theoretical Computer Science, 300, S. 19-38
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2019
- Ereignis
-
Veröffentlichung
- (wo)
-
Waterloo
- (wer)
-
Open Publishing Association
- (wann)
-
2019
- Urheber
- DOI
-
10.4204/eptcs.300.2
- URN
-
urn:nbn:de:bvb:384-opus4-962775
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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.
Beteiligte
- Peters, Kirstin
- Universität Augsburg
- Open Publishing Association
Entstanden
- 2019
Ähnliche Objekte (12)
Translational Expressiveness. Comparing Process Calculi using Encodings
Deriving Focused Lattice Calculi
Algebraic Calculi for Separation Logic
Relational and Algebraic Calculi for Database Preferences
Structural equation modeling: comparing two approaches
Comparing the Efficiency of Asynchronous Systems
Comparing reduction strategies in resource conscious lambda calculi
Using Process Mining (PM) and Epistemic Network Analysis (ENA) for comparing processes of collaborative problem regulation
Analysing and comparing encodability criteria
Process model adaptation using semantic technologies
Patterns for Semantic Business Process Modeling
Generic analysis support for understanding, evaluating and comparing enterprise architecture models
Translational Expressiveness. Comparing Process Calculi using Encodings
Deriving Focused Lattice Calculi
Algebraic Calculi for Separation Logic
Relational and Algebraic Calculi for Database Preferences
Structural equation modeling: comparing two approaches
Comparing the Efficiency of Asynchronous Systems
Comparing reduction strategies in resource conscious lambda calculi
Using Process Mining (PM) and Epistemic Network Analysis (ENA) for comparing processes of collaborative problem regulation
Analysing and comparing encodability criteria
Process model adaptation using semantic technologies
Patterns for Semantic Business Process Modeling
Generic analysis support for understanding, evaluating and comparing enterprise architecture models
Translational Expressiveness. Comparing Process Calculi using Encodings
Deriving Focused Lattice Calculi
Algebraic Calculi for Separation Logic
Relational and Algebraic Calculi for Database Preferences
Structural equation modeling: comparing two approaches
Comparing the Efficiency of Asynchronous Systems
Comparing reduction strategies in resource conscious lambda calculi
Using Process Mining (PM) and Epistemic Network Analysis (ENA) for comparing processes of collaborative problem regulation
Analysing and comparing encodability criteria
Process model adaptation using semantic technologies
Patterns for Semantic Business Process Modeling