( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Axiomatic and Tableau-Based Reasoning for Kt(H, R).

, , и . Advances in Modal Logic, стр. 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.

David E Hopkins

Ursula E E Köhler

Bodo David

Erich David

Ernst David

 

Другие публикации лиц с тем же именем

Adjunction.. CTCS, том 240 из Lecture Notes in Computer Science, стр. 51-57. Springer, (1985)Computing with Categories., и . CTCS, том 240 из Lecture Notes in Computer Science, стр. 506-519. Springer, (1985)Towards a Categorical Semantics Type Classes., и . MFCS, том 520 из Lecture Notes in Computer Science, стр. 191-201. Springer, (1991)Computational Category Theory, и . Prentice-Hsll International Series in Computer Science Prentice-Hall, First Edition издание, (01.06.1989)Modelling Evolvable Systems: A Temporal Logic View., и . We Will Show Them! (1), стр. 195-228. College Publications, (2005)Towards a categorical semantics of type classes., и . Fundam. Informaticae, 16 (1): 127-147 (1992)Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms., и . Category Theory and Computer Science, том 283 из Lecture Notes in Computer Science, стр. 114-139. Springer, (1987)Modelling evolvable component systems: Part I: A logical framework., , и . Logic Journal of the IGPL, 17 (6): 631-696 (2009)A bi-intuitionistic modal logic: Foundations and automation., , и . J. Log. Algebraic Methods Program., 85 (4): 500-519 (2016)Rule Systems for Runtime Verification: A Short Tutorial., , , и . RV, том 5779 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2009)