Gabriel Hondet: The new rewriting engine of Dedukti - System description (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Authors: Gabriel Hondet and Frédéric Blanqui

Aired: 2020-02-03 15:30:00 CEST (UTC+2)