Search papers, labs, and topics across Lattice.
St. Petersburg State University
1
0
1
1
Achieving performance parity with conventional miniKanren unification, this new algorithm redefines efficiency in rational term unification for persistent settings.
