Paper published in a journal (Scientific congresses and symposiums)
Representing arithmetic constraints with finite automata: An overview
Boigelot, Bernard; Wolper, Pierre
2002In Lecture Notes in Computer Science, 2401
 

Files


Full Text
BW03-iclp.pdf
Publisher postprint (319.3 kB)
Request a copy
Full Text Parts
BW02-iclp.pdf
Author postprint (273.57 kB)
Download

The original publication is available at www.springerlink.com


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
arithmetic; automata; Presburger
Abstract :
[en] Linear numerical constraints and their first-order theory, whether defined over the reals or the. integers, are basic tools that appear in many areas of Computer Science. This paper overviews a set of techniques based on finite automata that lead to decision procedures and other useful algorithms, as well as to a normal form, for the first-order linear theory of the integers, of the reals, and of the integers and reals combined. This approach has led to an implemented tool, which has the so far unique capability of handling the linear. first-order theory of the integers and reals combined.
Disciplines :
Computer science
Author, co-author :
Boigelot, Bernard  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Representing arithmetic constraints with finite automata: An overview
Publication date :
July 2002
Event name :
18th International Conference on Logic Programming
Event organizer :
U Roskilde, Denmark
Event place :
Copenhagen, Denmark
Event date :
July 27th to August 1st 2002
By request :
Yes
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer-Verlag Berlin, Berlin, Germany
Special issue title :
Logics Programming, Proceedings
Volume :
2401
Funders :
Communauté française de Belgique - Direction de la recherche scientifique - Actions de recherche concertées
European IST-FET project ADVANCE (IST-1999-29082)
Available on ORBi :
since 14 August 2009

Statistics


Number of views
90 (11 by ULiège)
Number of downloads
270 (3 by ULiège)

Scopus citations®
 
34
Scopus citations®
without self-citations
28
OpenCitations
 
23

Bibliography


Similar publications



Contact ORBi