Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Highlights of the year

The team has developed the theme of focused proof search to broaden its proof theoretical and game theoretic basis as well as to support a number of computer science applications. Additional advances were made on an approach to reasoning with bindings in syntactic expressions. Together with a team at the University of Minneapolis, we have implemented two prototype provers, Abella and Taci, which have been used to explore the effectiveness of both these theoretical threads.


previous
next

Logo Inria