ORBi: Boigelot Bernard - Representing arithmetic constraints with finite automata: An overview

Reference : Representing arithmetic constraints with finite automata: An overview


	Document type :	Scientific congresses and symposiums : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/18767

Title :	Representing arithmetic constraints with finite automata: An overview
Language :	English
Author, co-author :	Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Wolper, Pierre [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
Publication date :	Jul-2002
Journal title :	Lecture Notes in Computer Science
Publisher :	Springer-Verlag Berlin
Volume :	2401
Special issue title :	Logics Programming, Proceedings
On invitation :	Yes
Audience :	International
ISSN :	0302-9743
e-ISSN :	1611-3349
City :	Berlin
Event name :	18th International Conference on Logic Programming
Event date :	July 27th to August 1st 2002
Event organizer :	U Roskilde, Denmark
Event place (city) :	Copenhagen
Event country :	Danemark
Keywords :	[en] 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.
Funders :	Communauté française de Belgique - Direction de la recherche scientifique - Actions de recherche concertées ; European IST-FET project ADVANCE (IST-1999-29082)
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/18767
DOI :	10.1007/3-540-45619-8_1
Mentions required by the publisher for OA :	The original publication is available at www.springerlink.com

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Restricted access	BW03-iclp.pdf		Publisher postprint	311.81 kB	Request copy
Open access	BW02-iclp.pdf		Author postprint	267.16 kB	View/Open

All documents in ORBi are protected by a user license.

Dspace v1.5