scientific article; zbMATH DE number 1149426
From MaRDI portal
Publication:4386948
zbMath0900.68383MaRDI QIDQ4386948
No author found.
Publication date: 11 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Verifying Procedural Programs via Constrained Rewriting Induction ⋮ Sound generalizations in mathematical induction ⋮ Attacking group protocols by refuting incorrect inductive conjectures ⋮ Lemma discovery in automating induction ⋮ Correctness of Context-Moving Transformations for Term Rewriting Systems ⋮ Perfect Discrimination Graphs: Indexing Terms with Integer Exponents ⋮ Appropriate lemmae discovery
Uses Software
This page was built for publication: