Filter your results
- 6
- 6
- 6
- 1
- 2
- 1
- 2
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.195-211, ⟨10.1007/978-3-642-37635-1_12⟩
Conference papers
hal-01485970v1
|
||
|
Finite Limits and Anti-unification in Substitution Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩
Conference papers
hal-02364568v1
|
||
|
Impact Analysis via Reachability and Alias Analysis7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.261-270, ⟨10.1007/978-3-662-45501-2_19⟩
Conference papers
hal-01282005v1
|
||
|
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.103-118, ⟨10.1007/978-3-030-23220-7_6⟩
Conference papers
hal-02364572v1
|
||
|
Categories of Coalgebras with Monadic Homomorphisms12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.151-167, ⟨10.1007/978-3-662-44124-4_9⟩
Conference papers
hal-01408758v1
|
||
|
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Conference papers
hal-01432932v1
|