Relational and algebraic methods in computer science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings / Peter Hofner, Peter Jipsen, Wolfram Kahl, Martin Eric Muller (eds.).
2014
QA76.9.M35 R36 2014
Linked e-resources
Linked Resource
Online Access
Details
Title
Relational and algebraic methods in computer science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings / Peter Hofner, Peter Jipsen, Wolfram Kahl, Martin Eric Muller (eds.).
ISBN
3319062514 electronic book
9783319062518 electronic book
9783319062501 paperback
3319062506 paperback
9783319062518 electronic book
9783319062501 paperback
3319062506 paperback
Published
Cham ; New York : Springer, [2014]
Language
English
Description
1 online resource (xi, 462 pages) : illustrations.
Call Number
QA76.9.M35 R36 2014
Dewey Decimal Classification
004.01/51
Summary
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices.
Note
Conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Höfner, Peter, editor.
Jipsen, Peter, 1964- editor.
Kahl, W. (Wolfram), editor.
Müller, M. E. (Martin E.), 1970- editor.
Jipsen, Peter, 1964- editor.
Kahl, W. (Wolfram), editor.
Müller, M. E. (Martin E.), 1970- editor.
Series
Lecture notes in computer science ; 8428.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Original 3319062506
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources