Editors:
- Includes supplementary material: sn.pub/extras
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10226)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): RAMiCS: International Conference on Relational and Algebraic Methods in Computer Science
Conference proceedings info: RAMICS 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Contributed Papers
-
Front Matter
-
About this book
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Keywords
- big software
- dynamic systems
- open source software
- probabilistic semantics
- semantics
- boolean algebra
- coalgebras
- concurrency
- constraint satisfaction
- graph transformation
- information flow
- information systems design
- isabelle/hol
- partial order
- programming language
- security
- software development
- source code
- temporal logic
- xml documents
Editors and Affiliations
-
Data61, CSIRO, Sydney, Australia
Peter Höfner
-
CNRS, Lyon, France
Damien Pous
-
University of Sheffield, Sheffield, United Kingdom
Georg Struth
Bibliographic Information
Book Title: Relational and Algebraic Methods in Computer Science
Book Subtitle: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Editors: Peter Höfner, Damien Pous, Georg Struth
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-57418-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-57417-2Published: 25 April 2017
eBook ISBN: 978-3-319-57418-9Published: 08 May 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 323
Number of Illustrations: 24 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Software Engineering, Artificial Intelligence, Discrete Mathematics in Computer Science