Willkommen. Schön, sind Sie da!
Mein Ex Libris

Rewriting Techniques and Applications

E-Book (pdf), 315 Seiten

(0)
Erste Bewertung abgeben
Inhalt Termination Analysis of the Untyped ?-Calculus.- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewr...

CHF93.50

Download steht sofort bereit

E-Book (pdf)