strong termination
Recently Published Documents

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strong termination for the epsilon substitution method

1996 ◽  
Vol 61 (4) ◽  
pp. 1193-1205 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Arbitrary Order ◽  
Substitution Method ◽  
First Order ◽  
Epsilon Substitution ◽  
Order Arithmetic ◽  
Special Order ◽  
Strong Termination

AbstractAckermann proved termination for a special order of reductions in Hilbert's epsilon substitution method for the first order arithmetic. We establish termination for arbitrary order of reductions.

Load More ...
Sign in / Sign up

Export Citation Format

Share Document