From Syntactic Proofs to Combinatorial Proofs

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94205-6_32 ◽

2018 ◽

pp. 481-497 ◽

Cited By ~ 4

Author(s):

Matteo Acclavio ◽

Lutz Straßburger

Download Full-text