Connection-driven inductive theorem proving

DOI10.1023/A:1013874024997zbMath0992.03017OpenAlexW1543228540MaRDI QIDQ5955618

Christoph Kreitz, Brigitte Pientka

Publication date: 16 September 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013874024997

zbMATH Keywords

inductioninductive theorem provingmatrix-based theorem provingprogram synthesisrippling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Connection-driven inductive theorem proving