Login / Signup
Michael Christian Fink Amores
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Term Rewriting Systems
Functional Dependencies
Space Complexity
Databases
Top Venues
CoRR
</>
Publications
</>
Michael Christian Fink Amores
,
David Sabel
Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version).
CoRR
(2021)