Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results


Gilles Dowek, Liu Jian, and Ying Jiang have reworked the presentation of CTL in sequent calculus proposed by Gilles Dowek and Ying Jiang in 2012 and provided an implementation of it. This work has been published in [13].