higman's lemma
Recently Published Documents

TOTAL DOCUMENTS

12
(FIVE YEARS 1)

H-INDEX

4
(FIVE YEARS 1)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higman’s Lemma and Its Computational Content

2016 ◽  
pp. 353-375 ◽  
Author(s):  
Helmut Schwichtenberg ◽  
Monika Seisenberger ◽  
Franziskus Wiesnet
Keyword(s):  
Higman's Lemma ◽  
Higman’S Lemma

scholarly journals Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2

2010 ◽  
Vol 47 (3) ◽  
pp. 229-250 ◽  
Author(s):  
Francisco Jesús Martín-Mateos ◽  
José Luis Ruiz-Reina ◽  
José Antonio Alonso ◽  
María José Hidalgo
Keyword(s):  
Formal Proof ◽  
Higman's Lemma ◽  
Higman’S Lemma

scholarly journals Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2

2005 ◽  
pp. 358-372 ◽  
Author(s):  
Francisco J. Martín-Mateos ◽  
José L. Ruiz-Reina ◽  
José A. Alonso ◽  
Mariá J. Hidalgo
Keyword(s):  
Formal Proof ◽  
Higman's Lemma ◽  
Higman’S Lemma
Load More ...
Sign in / Sign up

Export Citation Format

Share Document