Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations
Produktform: Buch / Einband - flex.(Paperback)
24,90 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Noch Fragen? 0800 / 33 82 637