Computing Connected Proof(-Structure)s From Their Taylor Expansion.

Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco

Published in: FSCD (2016)

Keyphrases

data structure
theorem proving
website
decision trees
case study
search algorithm
natural language
logic programs
structural information