Search alternatives:
"lexicographers" » "lexicography", "lexicographic"

1
Published 2021
Springer International Publishing
Table of Contents: ... in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness...