ORBi: Boigelot Bernard - A Generalization of Semenov's Theorem to Automata over Real Numbers

Reference : A Generalization of Semenov's Theorem to Automata over Real Numbers


	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/33238

Title :	A Generalization of Semenov's Theorem to Automata over Real Numbers
Language :	English
Author, co-author :	Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Brusten, Julien [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Leroux, Jérôme [Laboratoire Bordelais de Recherche en Informatique (LaBRI) > > > >]
Publication date :	2009
Journal title :	Lecture Notes in Artificial Intelligence
Publisher :	Springer
Volume :	5663
Pages :	469-484
On invitation :	No
Audience :	International
ISSN :	0302-9743
e-ISSN :	1611-3349
City :	Berlin Heidelberg
Country :	Germany
Event name :	22nd International Conference on Automated Deduction
Event date :	August 2009
Event place (city) :	Montreal
Event country :	Canada
Keywords :	[en] automata ; mixed integer and linear arithmetic ; semenov's theorem
Funders :	Interuniversity Attraction Poles program MoVES of the Belgian Federal Science Policy Office ; Grant 2.4530.02 of the Belgian Fund for Scientific Research (F.R.S.-FNRS) ; French project ANR-06-SETI-001 AVERISS
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/33238
DOI :	10.1007/978-3-642-02959-2
Other URL :	http://www.springerlink.com/content/27332vp4g32u9j76/
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
Open access	BBL09.pdf		Author postprint	216.03 kB	View/Open

All documents in ORBi are protected by a user license.