Proving open properties by induction

From MaRDI portal
Publication:1112816

DOI10.1016/0020-0190(88)90126-3zbMath0661.04002OpenAlexW2162849813MaRDI QIDQ1112816

Jean Claude Raoult

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(88)90126-3




Related Items (20)


Uses Software


Cites Work


This page was built for publication: Proving open properties by induction