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