Login / Signup
Thaïs Baudon
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Term Rewriting
Complex Data Types
Worst Case
Knuth Bendix
Top Venues
CoRR
Proc. ACM Program. Lang.
LOPSTR
</>
Publications
</>