Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Cover of the book Foundations of Software Science and Computation Structures by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662544587
Publisher: Springer Berlin Heidelberg Publication: March 15, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783662544587
Publisher: Springer Berlin Heidelberg
Publication: March 15, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

More books from Springer Berlin Heidelberg

Cover of the book Magnetic Resonance Imaging of the Bone Marrow by
Cover of the book Case Management: praktisch und effizient by
Cover of the book Transport Phenomena in Strongly Correlated Fermi Liquids by
Cover of the book High-Performance D/A-Converters by
Cover of the book Electric Stimulation of Bone Growth and Repair by
Cover of the book Substrat- und Textilbeschichtung by
Cover of the book Erfolgreiches Management by
Cover of the book The Silent COUNTDOWN by
Cover of the book EU Bilateral Trade Agreements and Intellectual Property: For Better or Worse? by
Cover of the book The Neurobiology of Orthodontics by
Cover of the book From the Web to the Grid and Beyond by
Cover of the book Lectures on LHC Physics by
Cover of the book Renal Tumors of Childhood by
Cover of the book Air Pollution Control Equipment by
Cover of the book Oral and Cranial Implants by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy