Search papers, labs, and topics across Lattice.
Affiliation:
1
0
Unique factorization fails to imply finite relative presentation, revealing a surprising gap in our understanding of syntactic congruences.