Author of the publication

Axiomatic and Tableau-Based Reasoning for Kt(H, R).

, , and . Advances in Modal Logic, page 478-497. College Publications, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Categorical Semantics Type Classes., and . MFCS, volume 520 of Lecture Notes in Computer Science, page 191-201. Springer, (1991)Adjunction.. CTCS, volume 240 of Lecture Notes in Computer Science, page 51-57. Springer, (1985)Computing with Categories., and . CTCS, volume 240 of Lecture Notes in Computer Science, page 506-519. Springer, (1985)Computational Category Theory, and . Prentice-Hsll International Series in Computer Science Prentice-Hall, First Edition edition, (Jun 1, 1989)Towards a categorical semantics of type classes., and . Fundam. Informaticae, 16 (1): 127-147 (1992)Modelling Evolvable Systems: A Temporal Logic View., and . We Will Show Them! (1), page 195-228. College Publications, (2005)Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms., and . Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 114-139. Springer, (1987)From Runtime Verification to Evolvable Systems., , and . RV, volume 4839 of Lecture Notes in Computer Science, page 97-110. Springer, (2007)Rule Systems for Runtime Verification: A Short Tutorial., , , and . RV, volume 5779 of Lecture Notes in Computer Science, page 1-24. Springer, (2009)Modelling evolvable component systems: Part I: A logical framework., , and . Logic Journal of the IGPL, 17 (6): 631-696 (2009)