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

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... for Two Machines -- The Lexicographic Minimum of a Cyclic Array -- 2. Rules of Programming -- Metalevel...

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

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...: Relaxation and Applications -- Global Constraints for Lexicographic Orderings -- A Global Filtering Algorithm...