Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /

Saved in:
Bibliographic Details
Imprint:Cham : Springer International Publishing : Imprint : Springer, 2014.
Description:1 online resource (XII, 463 pages 28 illustrations) : online resource.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 8428
Lecture notes in computer science ; 8428.
Subject:Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra -- Data processing.
Artificial intelligence.
Algebra -- Data processing.
Artificial intelligence.
Computational complexity.
Computer science.
Logic design.
Software engineering.
Electronic books.
Ebook.
Conference papers and proceedings.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11086797
Hidden Bibliographic Details
Other authors / contributors:Höfner, Peter, editor.
Jipsen, Peter, 1964- editor.
Kahl, W. (Wolfram), editor.
Müller, M. E. (Martin E.), 1970- editor.
ISBN:3319062514
9783319062518
9783319062501
3319062506
9783319062518
Digital file characteristics:text file PDF
Notes:Includes bibliographical references and index.
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.
Other form:Printed edition: 9783319062501
Standard no.:10.1007/978-3-319-06251-8