Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Confe

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

Berghammer, Rudolf
Struth, Georg
Möller, Bernhard

Paperback

FictionGeneral ComputersProgramming

ISBN10: 354078912X
ISBN13: 9783540789123
Publisher: Springer
Published: Mar 28 2008
Pages: 402
Weight: 1.35
Height: 1.00 Width: 6.10 Depth: 9.10
Language: English
This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo ]rthon an Island in Lake Chiem in Bavaria, April 7-April 11, 2008. Its purpose was to bring together researchers various subdisciplines of computer science, mathematics and related ?elds who use the calculus of - lations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The meeting on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities. Over the years this has led to fruitful interactions and openened new and interesting researchdirections.Jointmeetings havebeenheldinMalente(Germany)in May 2003, in St. Catherines (Canada) in February 2005 and in Manchester (UK) in August/September 2006. This volume contains 28 contributions by researchersfrom all overthe world.

1 different editions

Also available

Also in

Fiction

View All