Search alternatives:
"lexicographers" » "lexicography", "lexicographic"
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Dependently-Typed Higher-Order Rewrite Systems -- Termination of S-Expression Rewriting Systems: Lexicographic...”