Coalgebraic methods in computer science 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, proceedings

Volltext

Coalgebraic methods in computer science 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, proceedings

BTU01
FHA01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover

Coalgebraic methods in computer science 14th IFIP WG 1.3 International Workshop, CMCS 2018 : colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected p...

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Coalgebraic methods in computer science 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selecte...

6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) CALCO’15, June 24–26, 2015, Nijmegen, Netherlands

Volltext
kostenfrei
kostenfrei
kostenfrei

Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5 - 6, 2014 ; revised selected papers

Algebra and coalgebra in computer science 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013; proceedings

Inhaltstext
Inhaltsverzeichnis

Algebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 ; proceedings

Volltext

Algebra and coalgebra in computer science second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 ; proceedings

BTU01
FHM01
TUM01
UBA01
UBG01
UBM01
UBY01
UPA01
UBR01
Volltext

From sets and types to topology and analysis towards practicable foundations for constructive mathematics ; [workshop held from 12 to 16 May 2003 at Venice International University...

Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ;, proceedings

Inhaltstext

Presentations of Graded Coalgebraic Semantics von Ford, Chase

kostenfrei
kostenfrei
kostenfrei

Coalgebraic methods in computer science [ ... papers presented at the Second International Workshop on Coalgebraic Methods in Computer Science ( CMCS ), which was held in Amsterdam...

Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures

Coalgebraic methods in computer science [ ... papers presented at the First International Workshop on Coalgebraic Methods in Computer Science ( CMCS ), which was held in Lisbon, Ma...

Expressivity results in the modal logic of coalgebras von Pattinson, Dirk

Logics for coalgebras and applications to computer science von Kurz, Alexander

On natural coalgebra decompositions of tensor algebras and loop suspensions von Selick, Paul 1950-, Wu, Jie 1964-

Inhaltsverzeichnis

Coalgebraic semantics and minimization in sets and beyond von Wißmann, Thorsten

kostenfrei
kostenfrei
kostenfrei

Coalgebraic methods in computer science 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected pa...