Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / edited by Reiko Heckel, Stefan Milius.

This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions....

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Heckel, Reiko (Editor), Milius, Stefan (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Theoretical Computer Science and General Issues ; 8089 Springer eBook Collection.
Subjects:	Computers. Software engineering. Quantum computers. Computer science—Mathematics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Published: (2005)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Published: (2007)

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Published: (2009)

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Published: (2011)

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
Published: (2022)

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
Published: (2020)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Published: (2013)

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)

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
Published: (2014)

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Published: (2012)

Introducing Microsoft Quantum Computing for Developers : using the Quantum Development Kit and Q#
by: Hooyberghs, Johnny
Published: (2022)

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 Selected Papers
Published: (2016)

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
Published: (2009)

A quantum computation workbook
by: Choi, Mahn-Soo
Published: (2022)

Mathematical aspects of quantum computing 2007
Published: (2008)

Computer Algebra Symbolic and Algebraic Computation
Published: (1982)

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
Published: (2011)

Computational Science — ICCS 2004 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
Published: (2004)

Computational Science — ICCS 2004 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part IV
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II
Published: (2004)

Elements of quantum computation and quantum communication
by: Pathak, Anirban
Published: (2013)

Computer Networks 20th International Conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013. Proceedings
Published: (2013)

Quantum computing since Democritus
by: Aaronson, Scott
Published: (2013)

Quantum Computing
by: Hirvensalo, Mika
Published: (2004)

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Published: (2012)

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Published: (2015)

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Published: (2013)

New Computational Paradigms Changing Conceptions of What is Computable
Published: (2008)

Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
by: Enns, Richard H., et al.
Published: (2006)

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
Published: (2014)

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Published: (2013)

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Published: (2015)

Quantum Computing: An Applied Approach
by: Hidary, Jack D.
Published: (2019)

An introduction to quantum computing
by: Kaye, Phillip, et al.
Published: (2020)

Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings
Published: (1991)

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 Papers
Published: (2018)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Published: (2017)

Applications of Computer Algebra
Published: (1985)

An Introduction to Quantum Computing Algorithms
by: Pittenger, Arthur O.
Published: (2000)