Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism

DOI10.1016/j.tcs.2022.01.017OpenAlexW4206739992MaRDI QIDQ2123048

Marc Bezem, Thierry Coquand

Publication date: 7 April 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.01.017

zbMATH Keywords

decidabilityuniform word problemjoin-semilattices with one inflationary endomorphismloop-checking

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Order, lattices, ordered algebraic structures (06-XX)

Cites Work

• Type checking with universes
• Max-linear Systems: Theory and Algorithms
• The Max-Atom Problem and Its Relevance
• Algebraische und logistische Untersuchungen über freie Verbände

This page was built for publication: Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism