PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Asperti, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
An Interactive Driver for Goal-directed Proof Strategies.

, and . Electron. Notes Theor. Comput. Sci., (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Andrea Thom University of Stuttgart

Andrea Loi University of Stuttgart

Andrea Talmann University of Stuttgart

Jun. -Prof. Dr. Andrea Iannelli University of Stuttgart

Dr. Andrea Zappe University of Stuttgart

 

Other publications of authors with the same name

Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations., and . Appl. Algebra Eng. Commun. Comput., 8 (6): 437-468 (1997)Categories, types and structures - an introduction to category theory for the working computer scientist., and . Foundations of computing MIT Press, (1991)Computational Complexity Via Finite Types.. ACM Trans. Comput. Log., 16 (3): 26:1-26:25 (2015)User Interaction with the Matita Proof Assistant., , , and . J. Autom. Reasoning, 39 (2): 109-139 (2007)Comparing Lambda-calculus translations in Sharing Graphs., and . TLCA, volume 902 of Lecture Notes in Computer Science, page 1-15. Springer, (1995)A Content Based Mathematical Search Engine: Whelp., , , , and . TYPES, volume 3839 of Lecture Notes in Computer Science, page 17-32. Springer, (2004)The Family Relation in Interaction Systems., and . TACS, volume 789 of Lecture Notes in Computer Science, page 366-384. Springer, (1994)Some Considerations on the Usability of Interactive Provers., and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 147-156. Springer, (2010)Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 146-160. Springer, (2007)Efficient Retrieval of Mathematical Statements., and . MKM, volume 3119 of Lecture Notes in Computer Science, page 17-31. Springer, (2004)