Login / Signup
Emile Hazard
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Rewrite Rules
Theorem Prover
Natural Language
Databases
Top Venues
CSL
</>
Publications
</>
Emile Hazard
,
Denis Kuperberg
Explorable Automata.
CSL
(2023)
Emile Hazard
,
Denis Kuperberg
Cyclic Proofs for Transfinite Expressions.
CSL
(2022)