Skip to search form
Skip to main content
Semantic Scholar's Logo
Create Free Account
You are currently offline. Some features of the site may not work correctly.
Geobacillus sp. Ta11
National Institutes of Health
Semantic Scholar uses AI to extract papers important to this topic.
Tea: a System for Proving Termination of a Non-strict Higher-order Functional Language
Corpus ID: 17726568
reduction: approximation: e; e! # e0 ej e0 C[e]; e nf-terminates C[e] j C[Te] context-skip: branching: f e1 : : : en; (f nf…
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Terms of Service
ACCEPT & CONTINUE