Items where authors include "Schmidt, RA"

Article

Stell, JG, Schmidt, RA and Rydeheard, D (2016) A Bi-Intuitionistic Modal Logic: Foundations and Automation. Journal of Logical and Algebraic Methods in Programming, 85 (4). pp. 500-519. ISSN 2352-2208

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Schmidt, RA et al. (1 more author) (2016) Lifting QBF Resolution Calculi to DQBF. In: Theory and Applications of Satisfiability Testing – SAT 2016 ( Lecture Notes in Computer Science ). 19th International Conference on Theory and Applications of Satisfiability Testing, 05-08 Jul 2016, Bordeaux, France. Springer Verlag , pp. 490-499. ISBN 978-3-319-40969-6

Schmidt, RA, Stell, JG and Rydeheard, DE (2014) Axiomatic and tableau-based reasoning for Kt(H,R). In: Goré, R, Kooi, B and Kurucz, A, (eds.) Advances in Modal Logic. Advances In Modal Logic, 05-08 Aug 2014, Groningen, Netherlands. College Publications , 478 - 497. ISBN 978-1-84890-151-3

Stell, JG, Schmidt, RA and Rydeheard, D (2014) Tableau development for a bi-intuitionistic tense logic. In: Höfner, P, Jipsen, P and Kahl, W, (eds.) Relational and Algebraic Methods in Computer Science. Lecture Notes in Computer Science. 14th International Conference, RAMiCS 2014, April 28–May 1, 2014, Marienstatt, Germany. Springer International Publishing , 412 - 428. ISBN 978-3-319-06250-1