Login / Signup
Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version).
Michael Christian Fink Amores
David Sabel
Published in:
CoRR (2021)
Keyphrases
</>
term rewriting systems
functional programs
worst case
logic programs
databases
natural language
space complexity
search space
functional dependencies