Author:
Ayala-Rincón Mauricio,Fernández Maribel,Rocha-Oliveira Ana Cristina
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Nominal Reasoning Techniques in Coq (Extended Abstract);Aydemir;Electronic Notes in Theoretical Computer Science,2007
2. First-order unification in the PVS proof assistant;Avelar;Logic Journal of the IGPL,2014
3. Unification via the λs e-Style of Explicit Substitution;Ayala-Rincón;Logic Journal of the IGPL,2001
4. Unifying Nominal Unification;Calvès,2013
5. The first-order nominal link;Calvès,2010
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献