Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : international summer school and workshop, Oxford, UK, April 2000 10-14, revised lectures /

Quadratic forms, linear algebraic groups, and cohomology /
Published: (2010)

Arithmetic and geometry around hypergeometric functions : lecture notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005 /
Published: (2007)

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /
Published: (2006)

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
Published: (2002)

Stochastic coalgebraic logic /
by: Doberkat, Ernst-Erich
Published: (2010)

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
Published: (2008)

Programming languages and systems : 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings /
Published: (2009)

Universal algebra and coalgebra /
by: Denecke, Klaus
Published: (2009)

Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers /
Published: (2010)

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings /
Published: (2010)

Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers /
Published: (2006)

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /
Published: (2007)

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Published: (2005)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Published: (2007)

Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
Published: (2011)

Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers /
Published: (2009)

Programming multi-agent systems : fifth international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007 ; revised and invited papers /
Published: (2008)

Programming multi-agent systems : 4th international workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers /
Published: (2007)

Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers /
Published: (2009)

Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers /
Published: (2009)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
Published: (2008)

Software engineering research, management and applications 2010 /
Published: (2010)

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24 - 28, 2009 : proceedings /
Published: (2009)

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
Published: (2011)

Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /
Published: (2007)

Software and data technologies /
Published: (2009)

Graph-theoretic concepts in computer science : 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers /
Published: (2007)

Algebraic geometry : proceedings of Bilkent summer school /
Published: (1997)

Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings /
Published: (2006)

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [as printed] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
Published: (2008)

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
Published: (2010)

Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings /
Published: (2009)

Groups, algebras, and identities : Research Workshop of the Israel Science Foundation, Groups, Algebras and Identities, in honor of Boris Plotkin's 90th birthday, March 20-24, 2016, Bar-Ilan University and The Hebrew University of Jerusalem, Israel /
Published: (2019)