scientific article
From MaRDI portal
Publication:3804237
zbMath0656.68104MaRDI QIDQ3804237
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
On proving the termination of algorithms by machine ⋮ Deriving constraints among argument sizes in logic programs ⋮ Size-based termination of higher-order rewriting ⋮ Termination of algorithms over non-freely generated data types ⋮ Termination checking with types ⋮ Shallow confluence of conditional term rewriting systems ⋮ Lazy generation of induction hypotheses ⋮ OBSCURE, a specification language for abstract data types ⋮ Termination analysis for partial functions
Uses Software
This page was built for publication:
