Computing Connected Proof(−Structure)s From Their Taylor Expansion
Giulio Guerrieri‚ Luc Pellissier and Lorenzo Tortora de Falco
Book Title
1st International Conference on Formal Structures for Computation and Deduction‚ FSCD 2016‚ June 22−26‚ 2016‚ Porto‚ Portugal
Editor
Delia Kesner and Brigitte Pientka
ISBN
978−3−95977−010−1
Pages
20:1–20:18
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
52
Year
2016