scientific article; zbMATH DE number 1348458
From MaRDI portal
Publication:4264710
zbMath0925.03058MaRDI QIDQ4264710
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Conditional term rewriting and first-order theorem proving ⋮ On proving the termination of algorithms by machine ⋮ A divergence critic
Uses Software
This page was built for publication:
