Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Deducteam released a new version of Dedukti, more efficient, and with new features (e.g. higher-order patterns, confluence checking).
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Bibliography