semigroups and automata theoryLogic, programming, and type systemsDNA and Biological Computing
S. Vágvölgyi
2026.4.1Theoretical Computer Science
Abstract
Abstract is not available.
Citation format
VÁGVÖLGYI, S. Ground approximations of term rewriting systems. Theoretical Computer Science, 2026, 1077: 115997.