Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference...

ISBN-10: 3540789138
ISBN-13: 9783540789130
Series: Relations and Kleene Algebra in Computer Science
Category: Mathematics
Pages: 402
Language: English
Published: 2008-04-12
Publisher: Springer
Authors: Rudolf Berghammer, Bernhard Möller, Georg Struth

Description

Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, these papers were selected from numerous submissions.

Get the book

Other editions

Relations and Kleene Algebra in Computer Science: 11th International Conference...
- 2009-11-03
- 367 pages
- Ebook
- Springer
Relations and Kleene Algebra in Computer Science: 9th International Conference...
- 2006-10-04
- 436 pages
- Ebook
- Springer
Relations and Kleene Algebra in Computer Science: 11th International Conference...
- 2009-10-05
- 374 pages
- Paperback
- Springer Science & Business Media
Relations and Kleene Algebra in Computer Science: 10th International Conference...
- 2008-03-28
- 396 pages
- Paperback
- Springer Science & Business Media

Similar books

Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop...
By Renate A. Schmidt
Jipsen, P.: Computer-aided investigations of relation algebras. PhD thesis, Van- derbilt University (1992) 25. Jipsen, P., Luk ́acs, E.: Representability of finite simple relation algebras with many identity atoms.
Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop...
By Bernhard Möller, Georg Struth, R. Berghammer
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany ...
Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of...
By Michael Winter, Ivo Düntsch, Wendy MacCaull
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST ...
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
By Wolfram Kahl, Timothy G. Griffin
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012.
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
By Harrie de Swart
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011.
Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
By Michael Winter, Luigi Santocanale, Roland Glück
... Algebraic Methods Program . 85 ( 4 ) , 475-499 ( 2016 ) 11. Maddux , R .: Relation Algebras , vol . 13. Elsevier ... logic . In : Düntsch , I. , Mares , E. ( eds . ) Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of ...
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014,...
By Peter Jipsen, Wolfram Kahl, Peter Höfner
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.
Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of...
By Michael Winter, Ivo Düntsch, Wendy MacCaull
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST ...
Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
By Michael Winter, Uli Fahrenberg, Mai Gehrke
... complexity of the problem is still under investigation. References. 1. Badia, G.: On Sahlqvist formulas in relevant logic ... Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, pp. 163–209. Springer, Heidelberg ...