Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

6 results
authFullName_s : Till Mossakowski
Page :
sorted by
Image document

Semantics of the Distributed Ontology Language: Institutes and Institutions

 Till Mossakowski , Oliver Kutz , Christoph Lange
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.212-230, ⟨10.1007/978-3-642-37635-1_13⟩
Conference papers hal-01485971v1
Image document

The Distributed Ontology, Model and Specification Language – DOL

 Till Mossakowski
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.5-10, ⟨10.1007/978-3-319-72044-9_2⟩
Conference papers hal-01767463v1
Image document

Canonical Selection of Colimits

 Till Mossakowski , Florian Rabe , Mihai Codescu
23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.170-188, ⟨10.1007/978-3-319-72044-9_12⟩
Conference papers hal-01767466v1
Image document

Institutions for SQL Database Schemas and Datasets

 Martin Glauer , Till Mossakowski
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.67-86, ⟨10.1007/978-3-030-23220-7_4⟩
Conference papers hal-02364575v1
Image document

Compiling Logics

 Mihai Codescu , Fulya Horozal , Aivaras Jakubauskas , Till Mossakowski , Florian Rabe
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.111-126, ⟨10.1007/978-3-642-37635-1_7⟩
Conference papers hal-01485981v1
Image document

Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

 Phillip James , Alexander Knapp , Till Mossakowski , Markus Roggenbach
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩
Conference papers hal-01485969v1
Page :