Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / Peter Höfner, Damien Pous, Georg Struth (eds.).
RAMiCS (Conference) (16th : 2017 : Lyon, France); Höfner, Peter, editor.; Pous, Damien, editor.; Struth, Georg, editor.
2017
QA76.9.M35
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / Peter Höfner, Damien Pous, Georg Struth (eds.).
Meeting Name RAMiCS (Conference) (16th : 2017 : Lyon, France)
ISBN 9783319574189 (electronic book)
3319574183 (electronic book)
9783319574172
DOI https://doi.org/10.1007/978-3-319-57418-9
Published Cham, Switzerland : Springer, 2017.
Language English
Description 1 online resource (xiv, 323 pages) : illustrations.
Item Number 10.1007/978-3-319-57418-9 doi
Call Number QA76.9.M35
Dewey Decimal Classification 004.01/51
Summary This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. 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. .
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 15, 2017).
Added Author Höfner, Peter, editor.
Pous, Damien, editor.
Struth, Georg, editor.
Series Lecture notes in computer science ; 10226.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783319574172
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Algebra for Quantitative Information Flow
Dual space of a lattice as the completion of a Pervin space
Images as relations under RelView
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
Varieties of Cubical Sets
Non-Associative Kleene Algebra and Temporal Logics
Algebraic Investigation of Connected Components
Stone Relation Algebras
Relation algebras, idempotent semirings and generalized bunched implication algebras
Parsing and Printing of and with Triples
Software Development in Relation Algebra with Ampersand
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
Aggregation of Votes with Multiple Positions on Each Issue
Complete solution of an optimization problem in tropical semifield
Concurrency-Preserving Minimal Process Representation
Embeddability into relational lattices is undecibable
Tower Induction and Up-To Techniques for CCS with Fixed Points
Reasoning about Cardinalities of Relations with Applications Supported by Proof Assistants
Type-n Arrow Categories.

Browse Subjects

Show more subjects...

Statistics

from
to
Export