Login / Signup
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism.
Marc Bezem
Thierry Coquand
Published in:
Theor. Comput. Sci. (2022)
Keyphrases
</>
word problems
similar problems
join algorithms
fixpoint
grade students
significantly higher