Minimizing Deterministic Lattice Automata.

Shulamit Halamish, Orna Kupferman

Browse the full FOSSACS paper archive.