dblp.uni-trier.dewww.uni-trier.de

Louis Latour

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EELouis Latour: Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams. CIAA 2005: 213-224
2004
3EELouis Latour: From Automata to Formulas: Convex Integer Polyhedra. LICS 2004: 120-129
2EEBernard Boigelot, Louis Latour: Counting the solutions of Presburger equations without enumerating them. Theor. Comput. Sci. 313(1): 17-29 (2004)
2001
1EEBernard Boigelot, Louis Latour: Counting the Solutions of Presburger Equations without Enumerating Them. CIAA 2001: 40-51

Coauthor Index

1Bernard Boigelot [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)