Relational and Algebraic Methods in Computer Science

• 

  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 ...

• 

  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: 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: 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 and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1,...

  By Jules Desharnais, Walter Guttmann, Stef Joosten

  This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

• 

  Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015,...

  By Michael Winter, Jose Oliveira, Wolfram Kahl

  This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

• 

  Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

  By Georg Struth, Peter Höfner, Damien Pous

  This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.

• 

  Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings

  By Michael Winter, Uli Fahrenberg, Peter Jipsen

  This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020.