From post

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.

 

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

The Computational Relevance of Formal Logic Through Formal Proofs., , , , и . FMTea, том 11758 из Lecture Notes in Computer Science, стр. 81-96. Springer, (2019)Understanding Higher Order Unification via Explicit Substitutions and Patterns.. IJCAR Doctoral Programme, том 106 из CEUR Workshop Proceedings, CEUR-WS.org, (2004)A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi., , , и . LSFA, том 269 из Electronic Notes in Theoretical Computer Science, стр. 41-54. Elsevier, (2010)Formalizing a Named Explicit Substitutions Calculus in Coq., , и . CICM Workshops, том 1186 из CEUR Workshop Proceedings, CEUR-WS.org, (2014)Unification for -calculi Without Propagation Rules.. ICTAC, том 9965 из Lecture Notes in Computer Science, стр. 179-195. (2016)