CSV
publication icon
Schmidt R (2011) Synthesising Terminating Tableau Calculi for Relational Logics in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Jehan F (2019) Should fast breathing pneumonia cases be treated with antibiotics? The scientific rationale for revisiting management in Low and Middle income countries. in International journal of infectious diseases : IJID : official publication of the International Society for Infectious Diseases
publication icon
Foster S (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra in Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
publication icon
Schmidt R (2011) Synthesising Terminating Tableau Calculi for Relational Logics in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Schmidt R (2011) Synthesising Terminating Tableau Calculi for Relational Logics in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings