ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Mechanized Proof of Higman’s Lemma by Open Induction
Trends in Logic - Well-Quasi Orders in Computation, Logic, Language and Reasoning
◽
10.1007/978-3-030-30229-0_12
◽
2020
◽
pp. 339-350
◽
Cited By ~ 1
Author(s):
Christian Sternagel
Keyword(s):
Open Induction
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Related Documents
Cited By
References
A Constructive Proof of Higman’s Lemma in Isabelle
Lecture Notes in Computer Science - Types for Proofs and Programs
◽
10.1007/978-3-540-24849-1_5
◽
2004
◽
pp. 66-82
◽
Cited By ~ 8
Author(s):
Stefan Berghofer
Keyword(s):
Constructive Proof
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
A Characterisation of Multiply Recursive Functions with Higman’s Lemma
Rewriting Techniques and Applications - Lecture Notes in Computer Science
◽
10.1007/3-540-48685-2_13
◽
1999
◽
pp. 163-174
Author(s):
Héléne Touzet
Keyword(s):
Recursive Functions
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
A Characterisation of Multiply Recursive Functions with Higman's Lemma
Information and Computation
◽
10.1006/inco.2002.3160
◽
2002
◽
Vol 178
(2)
◽
pp. 534-544
◽
Cited By ~ 4
Author(s):
Hélène Touzet
Keyword(s):
Recursive Functions
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Higman’s Lemma and Its Computational Content
Advances in Proof Theory - Progress in Computer Science and Applied Logic
◽
10.1007/978-3-319-29198-7_11
◽
2016
◽
pp. 353-375
◽
Cited By ~ 2
Author(s):
Helmut Schwichtenberg
◽
Monika Seisenberger
◽
Franziskus Wiesnet
Keyword(s):
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
Journal of Automated Reasoning
◽
10.1007/s10817-010-9178-x
◽
2010
◽
Vol 47
(3)
◽
pp. 229-250
◽
Cited By ~ 2
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
Download Full-text
Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2
Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
◽
10.1007/11541868_23
◽
2005
◽
pp. 358-372
◽
Cited By ~ 1
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
Download Full-text
A constructive proof of Higman's lemma
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1990.113752
◽
2002
◽
Cited By ~ 12
Author(s):
C.R. Murthy
◽
J.R. Russell
Keyword(s):
Constructive Proof
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma
Electronic Proceedings in Theoretical Computer Science
◽
10.4204/eptcs.97.4
◽
2012
◽
Vol 97
◽
pp. 49-62
◽
Cited By ~ 3
Author(s):
Thomas Powell
Keyword(s):
Constructive Proof
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma
Lecture Notes in Computer Science - Types for Proofs and Programs
◽
10.1007/3-540-45842-5_15
◽
2002
◽
pp. 233-242
◽
Cited By ~ 4
Author(s):
Monika Seisenberger
Keyword(s):
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Higman's lemma in type theory
Lecture Notes in Computer Science - Types for Proofs and Programs
◽
10.1007/bfb0097789
◽
1998
◽
pp. 112-133
◽
Cited By ~ 6
Author(s):
Daniel Fridlender
Keyword(s):
Type Theory
◽
Higman's Lemma
◽
Higman’S Lemma
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close