EDP Sciences logo
Subscriber Authentication Point
Search
Menu
Article citations

Download citation

Termination checking with types

Andreas Abel
RAIRO-Theor. Inf. Appl., 38 4 (2004) 277-319
DOI: https://doi.org/10.1051/ita:2004015


Back to the article