menu

Return to entry

Preliminaries_on_Polynomials_1
Preliminaries_on_Polynomials_2
Polynomial_Interpretation
Hilbert10_to_Inequality
Linear_Poly_Termination_Undecidable
KBO_Subterm_Coefficients_Undecidable
Poly_Termination_Undecidable
Delta_Poly_Termination_Undecidable

Orient_Rewrite_Rule_Undecidable.Hilbert10_to_Inequality

HTML Presentation