 |
 |
 |
 |
|
|
||
|---|---|---|
|
ensl-00147245v2
Communication dans un congrès
Jacques Duparc, Olivier Finkel. An omega-power of a context-free language which is Borel above Delta^0_omega Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem. Foundations of the Formal Sciences V : Infinite Games, November 26-29, 2004, Bonn, Germany. College Publications, pp.109-122, 2007, Studies in Logic, Volume 11 |
||
|
hal-00114323v1
Communication dans un congrès
Olivier Finkel. Topological and Arithmetical Properties of Infinitary Rational Relations 2002, Laboratoire LLAIC, 13 p., 2002 |
||
|
hal-00114310v1
Communication dans un congrès
Olivier Finkel. On the Wadge Hierarchy of Omega Context Free Languages 2001, Publications de l'Université Paris 12, pp.69-79, 2001 |
||
|
hal-00109940v2
Article dans une revue
Olivier Finkel. On Winning Conditions of High Borel Complexity in Pushdown Games Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 66 (3), pp.277-298 |
||
|
ensl-00340791v1
Article dans une revue
Olivier Finkel. Highly Undecidable Problems about Recognizability by Tiling Systems Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 91 (2), pp.305-323 |
||
|
hal-00412638v1
Article dans une revue
Olivier Finkel, Pierre Simonnet. On Recognizable Tree Languages Beyond the Borel Hierarchy Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 95 (2-3), pp.287-303 |
||
|
hal-00108219v2
Article dans une revue
Olivier Finkel. An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 62 (3-4), pp.333-342 |
||
|
hal-00371169v2
Article dans une revue
Olivier Finkel. On Decidability Properties of One-Dimensional Cellular Automata Journal of Cellular Automata, Old City Publishing, 2011, 6 (2-3), pp.181-193 |
||
|
hal-00109918v2
Article dans une revue
Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet. On Infinite Real Trace Rational Languages of Maximum Topological Complexity Zapiski Nauchnyh Seminarov POMI, 2004, 316, pp.205-223 |
||
|
hal-00109923v2
Article dans une revue
Olivier Finkel, Pierre Simonnet. Topology and Ambiguity in Omega Context Free Languages Bulletin of the Belgian Mathematical Society, 2003, 10 (5), pp.707-722 |
||
|
hal-01234945v1
Communication dans un congrès
Olivier Finkel. Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words Magnus M. Halldorsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann. 42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015, Jul 2015, Kyoto, Japan. Springer, Lecture Notes in Computer Science, 9135, pp.222--233, 2015, Proceedings, Part II. <10.1007/978-3-662-47666-6_18> |
||
|
hal-00743510v3
Chapitre d'ouvrage
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre. The Wadge Hierarchy of Petri Nets omega-Languages Vasco Brattka, Hannes Diener, and Dieter Spreen. Logic, Computation, Hierarchies, Festschrift Volume in Honor of Victor Selivanov at the occasion of his sixtieth birthday., 4, De Gruyter, pp.109-138, 2014, Ontos Mathematical Logic, 978-1-61451-804-4 |
||
|
ensl-00157204v1
Communication dans un congrès
Dominique Lecomte, Olivier Finkel. There Exist some Omega-Powers of Any Borel Rank Jacques Duparc and Thomas Henzinger. 16th EACSL Annual Conference on Computer Science and Logic, CSL 2007, September 11-15, 2007, Lausanne, Switzerland. Springer, pp.115-129, 2007, Lecture Notes in Computer Science |
||
|
ensl-00319447v2
Communication dans un congrès
Olivier Finkel, Dominique Lecomte. Topological Complexity of omega-Powers : Extended Abstract P. Hertling, V. Selivanov, W. Thomas, W. W. Wadge, K. Wagner. Dagstuhl Seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, Dagstuhl Seminar Proceedings |
||
|
hal-00612486v1
Communication dans un congrès
Olivier Finkel. Decision Problems for Recognizable Languages of Infinite Pictures Patrick Cegielski. 28 th Weak Arithmetic Days, Journées sur les Arithmétiques Faibles, Jun 2009, Fontainebleau, France. Center for the Study of Language and Information, Stanford University, 196, pp.127-151, 2010, CSLI Lecture Notes |
||
|
hal-00117499v2
Communication dans un congrès
Olivier Finkel. On Infinitary Rational Relations and Borel Sets Cristian Calude, Michael J. Dinneen, and Vincent Vajnovszki. Fourth International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS'03, 7 - 12 July 2003, Dijon, France., 2003, France. Springer, pp.155-167, 2003 |
||
|
hal-00114314v2
Communication dans un congrès
Olivier Finkel. An Effective Extension of the Wagner Hierarchy to Blind Counter Automata Laurent Fribourg. Computer Science Logic 15th International Workshop, CSL 2001, 10th Annual Conference of the European Association for Computer Science Logic, Paris, September 10-13, 2001., 2001, France. Springer, pp.369-383, 2001 |
||
|
hal-00104203v2
Article dans une revue
Olivier Finkel. Closure Properties of Locally Finite Omega Languages Theoretical Computer Science, Elsevier, 2004, 322 (1), pp.69-84 |
||
|
hal-00103679v2
Article dans une revue
Olivier Finkel. Borel Hierarchy and Omega Context Free Languages Theoretical Computer Science, Elsevier, 2003, 290 (3), pp.1385-1405 |
||
|
hal-00109933v2
Article dans une revue
Olivier Finkel. On Decidability Properties of Local Sentences Theoretical Computer Science, Elsevier, 2006, 364 (2), pp.196-211 |
||
|
hal-00104196v2
Article dans une revue
Olivier Finkel. On Omega Context Free Languages which are Borel Sets of Infinite Rank Theoretical Computer Science, Elsevier, 2003, 299 (1-3), pp.327-346 |
||
|
hal-00103673v1
Article dans une revue
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre. Computer Science and the Fine Structure of Borel Sets Theoretical Computer Science, Elsevier, 2001, 257 (1-2), pp.85-105 |
||
|
hal-00102491v1
Article dans une revue
Olivier Finkel. Locally Finite Languages Theoretical Computer Science, Elsevier, 2001, 255 (1-2), pp.223-261 |
||
|
hal-00102489v1
Article dans une revue
Olivier Finkel. Wadge Hierarchy of Omega Context Free Languages Theoretical Computer Science, Elsevier, 2001, 269 (1-2), pp.283-315 |
||
|
hal-00104187v1
Article dans une revue
Olivier Finkel. Ambiguity in Omega Context Free Languages Theoretical Computer Science, Elsevier, 2003, 301 (1-3), pp.217-270 |
||
|
hal-00117508v1
Communication dans un congrès
Olivier Finkel. Borel Ranks and Wadge Degrees of Omega Context Free Languages S. Barry Cooper, Benedikt Löwe, and Leen Torenvliet. 2005, Springer, pp.129-138, 2005, Lecture Notes in Computer Science, Volume 3526 |
||
|
hal-00117501v1
Communication dans un congrès
Olivier Finkel. On Decidability Properties of Local Sentences Ruy J. G. B. de Queiroz and Patrick Cégielski. 2005, Elsevier, pp.75-92, 2005 |
||
|
hal-00648462v1
Communication dans un congrès
Olivier Finkel. The Determinacy of Context-Free Games Christoph Dürr and Thomas Wilke. 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, 2012, Paris, France. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 14, pp.555-566, 2012, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.STACS.2012.555> |
||
|
ensl-00286373v2
Chapitre d'ouvrage
Olivier Finkel. Topological Complexity of Context-Free omega-Languages: A Survey Nachum Dershowitz and Ephraim Nissan. Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, 8001, Springer, pp.50--77, 2014, Lecture Notes in Computer Science, 978-3-642-45320-5 |
||
|
hal-00799936v1
Communication dans un congrès
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre. The Wadge Hierarchy of Petri Nets omega-Languages Sergei Artemov and Anil Nerode. International Symposium on Logical Foundations of Computer Science, LFCS 2013, Jan 2013, San Diego, United States. Springer, 7734, pp.179-193, 2013, Lecture Notes in Computer Science. <10.1007%2F978-3-642-35722-0_13> |
||
|
|
||