Items where authors include "Rydeheard, D"

Export as [feed] Atom [feed] RSS
Number of items: 2.

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

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

This list was generated on Sun Mar 24 16:15:32 2024 GMT.