From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

G. Dowek, T. Hardin, C. Kirchner, и F. Pfenning. JICSLP, стр. 259-273. MIT Press, (1996)

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.

Binding Logic: proofs and models.G. Dowek, T. Hardin, и C. Kirchner. CoRR, (2023)What is a Theory ?G. Dowek. CoRR, (2023)Formal verification of conflict detection algorithms.C. Muñoz, V. Carreño, G. Dowek, и R. Butler. Int. J. Softw. Tools Technol. Transf., 4 (3): 371-380 (2003)Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.G. Dowek. FTP (LNCS Selection), том 1761 из Lecture Notes in Computer Science, стр. 1-22. Springer, (1998)Les métamorphoses du calcul : une étonnante histoire de mathématiquesG. Dowek. Le Pommier, (2007)Causal Graph Dynamics.P. Arrighi, и G. Dowek. ICALP (2), том 7392 из Lecture Notes in Computer Science, стр. 54-66. Springer, (2012)Lambda-calculus, Combinators and the Comprehension Scheme.G. Dowek. TLCA, том 902 из Lecture Notes in Computer Science, стр. 154-170. Springer, (1995)Axioms vs. Rewrite Rules: From Completeness to Cut Elimination.G. Dowek. FroCoS, том 1794 из Lecture Notes in Computer Science, стр. 62-72. Springer, (2000)Binding Logic: Proofs and Models.G. Dowek, T. Hardin, и C. Kirchner. LPAR, том 2514 из Lecture Notes in Computer Science, стр. 130-144. Springer, (2002)From the Universality of Mathematical Truth to the Interoperability of Proof Systems.G. Dowek. IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 8-11. Springer, (2022)