Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Häftad, Engelska, 2014
Av Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
719 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2014-04-10
- Mått155 x 235 x undefined mm
- SpråkEngelska
- SerieTheoretical Computer Science and General Issues
- Antal sidor463
- FörlagSpringer International Publishing AG
- EAN9783319062501
Hoppa över listan
Du kanske också är intresserad av
Del 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa
2 629 kr
Del 1533
- Nyhet