Programming Languages and Systems - 17th Asian Symposium,

Yutaka Nagashima , editor = · 2019 · DOI 10.1007/978-3-030-34175-6

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-06-03 · unverdicted · novelty 5.0

Introduces Abduction Prover that constructs proof scripts in Isabelle/HOL by identifying useful conjectures via abductive reasoning.

Showing 1 of 1 citing paper after filters.

Abduction Prover in Isabelle/HOL cs.LO · 2026-06-03 · unverdicted · none · ref 23
Introduces Abduction Prover that constructs proof scripts in Isabelle/HOL by identifying useful conjectures via abductive reasoning.