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

Filter your results

9 results
Keywords : Coalgebra
Page :
sorted by
Image document

Lax Extensions of Coalgebra Functors

 Johannes Marti , Yde Venema
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.150-169, ⟨10.1007/978-3-642-32784-1_9⟩
Conference papers hal-01539878v1
Image document

Duality for Instantial Neighbourhood Logic via Coalgebra

 Nick Bezhanishvili , Sebastian Enqvist , Jim De Groot
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.32-54, ⟨10.1007/978-3-030-57201-3_3⟩
Conference papers hal-03232350v1
Image document

Weak Bisimulations for Coalgebras over Ordered Functors

 Tomasz Brengos
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.87-103, ⟨10.1007/978-3-642-33475-7_7⟩
Conference papers hal-01556223v1
Image document

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness

 Ekaterina Komendantskaya , John Power
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.94-113, ⟨10.1007/978-3-319-40370-0_7⟩
Conference papers hal-01446035v1
Image document

On Coalgebras with Internal Moves

 Tomasz Brengos
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.75-97, ⟨10.1007/978-3-662-44124-4_5⟩
Conference papers hal-01408753v1
Image document

Internal Models for Coalgebraic Modal Logics

 Toby Wilkinson
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers hal-01539883v1
Image document

Undecidability of Equality for Codata Types

 Ulrich Berger , Anton Setzer
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.34-55, ⟨10.1007/978-3-030-00389-0_4⟩
Conference papers hal-02044645v1
Image document

Long-Term Values in Markov Decision Processes, (Co)Algebraically

 Frank Feys , Helle Hvid Hansen , Lawrence S. Moss
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.78-99, ⟨10.1007/978-3-030-00389-0_6⟩
Conference papers hal-02044650v1
Image document

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

 Barbara König , Christina Mika-Michalski , Lutz Schröder
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.133-154, ⟨10.1007/978-3-030-57201-3_8⟩
Conference papers hal-03232346v1
Page :