24 results on '"Zantema, H."'
Search Results
2. Rewrite systems for integer arithmetic
3. Well-foundedness of term orderings
4. Dummy elimination: Making termination easier
5. Syntactical analysis of total termination
6. Type removal in term rewriting
7. Total termination of term rewriting
8. Termination of term rewriting by interpretation
9. Total termination of term rewriting
10. Combining Insertion and Deletion in RNA-editing Preserves Regularity
11. Long-run order-independence of vector-based transition systems
12. Termination of String Rewriting Proved Automatically
13. Resolution and binary decision diagrams cannot simulate each other polynomially
14. Relative Undecidability in Term RewritingI. The Termination Hierarchy
15. Relative Undecidability in Term RewritingII. The Confluence Hierarchy
16. The Termination Hierarchy for Term Rewriting
17. Total termination of term rewriting
18. TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING
19. Termination of term rewriting: interpretation and type elimination
20. Longest segment problems
21. Minimizing sums of addition chains
22. Global restrictions on ramification in number fields
23. Integer valued polynomials over a number field
24. Comparing techniques for proving unsatisfiability
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.