scientific article
From MaRDI portal
Publication:4023458
zbMath0761.68086MaRDI QIDQ4023458
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On proving the termination of algorithms by machine ⋮ A higher-order interpretation of deductive tableau ⋮ Automated modular termination proofs for real Prolog programs
This page was built for publication:
