Deciding quasi-reducibility using witnessed test sets

DOI10.1007/BF02946521zbMath0920.68127OpenAlexW2078572323MaRDI QIDQ1288435

Guoxin Song, Huiqun Yu, Zhiqing Shao, Yong-Qiang Sun

Publication date: 13 September 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946521

zbMATH Keywords

quasi-reducibilitywitnesses

Mathematics Subject Classification ID

Cites Work

• Automating inductionless induction using test sets
• Automatic proofs by induction in theories without constructors

This page was built for publication: Deciding quasi-reducibility using witnessed test sets