Login / Signup

From Automata to Formulas: Convex Integer Polyhedra.

Louis Latour
Published in: LICS (2004)
Keyphrases