Profil

Latour Louis

Université de Liège - ULiège > SAEE - FSA - Département d'électricité, électronique et informatique

Main Referenced Co-authors
Main Referenced Keywords
affine hull (1); arithmetique de Presburger (1); automata (1); automate (1); entier (1);
Main Referenced Disciplines
Computer science (1)

Publications (total 1)

The most downloaded
1 downloads
Latour, L. (2005). Presburger Arithmetic: From Automata to Formulas [Doctoral thesis, Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/314884 https://hdl.handle.net/2268/314884

Latour, L. (2005). Presburger Arithmetic: From Automata to Formulas [Doctoral thesis, Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/314884

Contact ORBi