- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronic Proceedings in Theoretical Computer Science, 300, S. 19-38
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2019
- Event
-
Veröffentlichung
- (where)
-
Waterloo
- (who)
-
Open Publishing Association
- (when)
-
2019
- Creator
- DOI
-
10.4204/eptcs.300.2
- URN
-
urn:nbn:de:bvb:384-opus4-962775
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
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.
Associated
- Peters, Kirstin
- Universität Augsburg
- Open Publishing Association
Time of origin
- 2019
Other Objects (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