|
|
|
| e-Pub |
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