6 results on '"ELIMINATION (Mathematics)"'
Search Results
2. Syntactic cut-elimination for common knowledge
3. Strong normalization of classical natural deduction with disjunctions
4. Cut elimination for a simple formulation of epsilon calculus
5. A term calculus for (co-)recursive definitions on streamlike data structures
6. Geometric axioms for existentially closed Hasse fields
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.