Reference : A Generalization of Semenov's Theorem to Automata over Real Numbers
Scientific congresses and symposiums : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33238
A Generalization of Semenov's Theorem to Automata over Real Numbers
English
Boigelot, Bernard mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Brusten, Julien mailto [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) > > > >]
2009
Lecture Notes in Artificial Intelligence
Springer
5663
469-484
Yes
No
International
0302-9743
1611-3349
Berlin Heidelberg
Germany
22nd International Conference on Automated Deduction
August 2009
Montreal
Canada
[en] automata ; mixed integer and linear arithmetic ; semenov's theorem
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
Researchers
http://hdl.handle.net/2268/33238
10.1007/978-3-642-02959-2_34
http://www.springerlink.com/content/27332vp4g32u9j76/
The original publication is available at www.springerlink.com

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
BBL09.pdfAuthor postprint216.03 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.