scientific article; zbMATH DE number 1543354
From MaRDI portal
Publication:4520829
zbMath0960.68025MaRDI QIDQ4520829
No author found.
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_6_4/ensuring_termination_in_esfp
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Size-based termination of higher-order rewriting ⋮ Deforestation, program transformation, and cut-elimination ⋮ Termination checking with types
This page was built for publication:
