Publications HAL de Sylvain,Schmitz

2019

titre
The Parametric Complexity of Lossy Counter Machines
auteur
Sylvain Schmitz
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02020728/file/main.pdf BibTex

2018

titre
Systèmes de preuve
auteur
Sylvain Schmitz
article
Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-01903833/file/918.pdf BibTex
titre
Logique propositionnelle
auteur
Sylvain Schmitz
article
Master. Préparation à l'agrégation de mathématiques, option informatique, France. 2018
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-01903823/file/916.pdf BibTex
titre
Decidable XPath Fragments in the Real World
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852475/file/main.pdf BibTex
titre
A Hypersequent Calculus with Clusters for Linear Frames
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
Guram Bezhanishvili; Giovanna D'Agostino; George Metcalfe; Thomas Studer. Twefth Conference on Advances in Modal Logic, Jul 2018, Bern, Switzerland. College Publications, 12, pp.36--55, 2018, Advances in Modal Logic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01756126/file/main.pdf BibTex
titre
The Complexity of Diagnosability and Opacity Verification for Petri Nets
auteur
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. 〈10.3233/FI-2018-1706〉
DOI
DOI : 10.3233/FI-2018-1706
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852119/file/bhss-fi.pdf BibTex
titre
A Hypersequent Calculus with Clusters for Tense Logic over Ordinals
auteur
David Baelde, Anthony Lick, Sylvain Schmitz
article
Sumit Ganguly and Paritosh Pandya. 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018, Ahmedabad, India. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 122, pp.15:1--15:19, Leibniz International Proceedings in Informatics. 〈10.4230/LIPIcs.FSTTCS.2018.15〉
DOI
DOI : 10.4230/LIPIcs.FSTTCS.2018.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01852077/file/main.pdf BibTex

2017

titre
Algorithmic Complexity of Well-Quasi-Orders
auteur
Sylvain Schmitz
article
Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01663266/file/hdr.pdf BibTex
titre
The Complexity of Diagnosability and Opacity Verification for Petri Nets
auteur
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
article
Wil van der Aalst; Eike Best. Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. Springer, 10258, pp.200--220, Lecture Notes in Computer Science. 〈10.1007/978-3-319-57861-3_13〉
DOI
DOI : 10.1007/978-3-319-57861-3_13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01484476/file/bhss-fi.pdf BibTex
titre
Perfect Half-Space Games
auteur
Thomas Colcombet, Marcin Jurdzinski, Ranko Lazić, Sylvain Schmitz
article
Logic in Computer Science, 2017, Reykjavik, Iceland. IEEE Press, 2017, LICS. 〈10.1109/LICS.2017.8005105〉
DOI
DOI : 10.1109/LICS.2017.8005105
Accès au bibtex
https://arxiv.org/pdf/1704.05626 BibTex
titre
On the Width of FAC Orders, a Somewhat Rediscovered Notion
auteur
Mirna Džamonja, Sylvain Schmitz, Philippe Schnoebelen
article
Peter Schuester. WQO book, inPress
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01625981/file/main.pdf BibTex

2016

titre
A Sequent Calculus for a Modal Logic on Finite Data Trees
auteur
David Baelde, Simon Lunel, Sylvain Schmitz
article
Jean-Marc Talbot; Laurent Regnier. CSL 2016, Sep 2016, Marseille, France. LZI, 62 (32), pp.1--16, Leibniz International Proceedings in Informatics. 〈10.4230/LIPIcs.CSL.2016.32〉
DOI
DOI : 10.4230/LIPIcs.CSL.2016.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01191172/file/main.pdf BibTex
titre
Deciding Piecewise Testable Separability for Regular Tree Languages
auteur
Jean Goubault-Larrecq, Sylvain Schmitz
article
Ioannis Chatzigiannakis; Michael Mitzenmacher; Yuval Rabani; Davide Sangiorgi. ICALP 2016, Jul 2016, Rome, Italy. 55, pp.97:1--97:15, 2016, Leibniz International Proceedings in Informatics. 〈10.4230/LIPIcs.ICALP.2016.97〉
DOI
DOI : 10.4230/LIPIcs.ICALP.2016.97
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276119/file/lipics.pdf BibTex
titre
Implicational Relevance Logic is 2-ExpTime-Complete
auteur
Sylvain Schmitz
article
The Journal of Symbolic Logic, Association for Symbolic Logic, 2016, 81 (2), pp.641--661. 〈10.1017/jsl.2015.7〉
DOI
DOI : 10.1017/jsl.2015.7
Accès au bibtex
https://arxiv.org/pdf/1402.0705 BibTex
titre
Complexity Hierarchies Beyond Elementary
auteur
Sylvain Schmitz
article
ACM Transactions on Computation Theory, ACM, 2016, 8 (1), 〈10.1145/2858784〉
DOI
DOI : 10.1145/2858784
Accès au bibtex
https://arxiv.org/pdf/1312.5686 BibTex
titre
Automata Column: The Complexity of Reachability in Vector Addition Systems
auteur
Sylvain Schmitz
article
ACM SIGLOG News, ACM, 2016, 3 (1), pp.3--21. 〈10.1145/2893582.2893585〉
DOI
DOI : 10.1145/2893582.2893585
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01275972/file/main.pdf BibTex
titre
Ideal Decompositions for Vector Addition Systems
auteur
Jérôme Leroux, Sylvain Schmitz
article
Nicolas Ollinger and Heribert Vollmer. STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science, 2016, Orléans, France. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 47, pp.1--13, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://drops.dagstuhl.de/opus/volltexte/2016/5702〉. 〈10.4230/LIPIcs.STACS.2016.1〉
DOI
DOI : 10.4230/LIPIcs.STACS.2016.1
Accès au bibtex
BibTex
titre
The Complexity of Coverability in ν-Petri Nets
auteur
Ranko Lazić, Sylvain Schmitz
article
LICS 2016, 2016, New York, United States. ACM Press, pp.467--476, 〈10.1145/2933575.2933593〉
DOI
DOI : 10.1145/2933575.2933593
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf BibTex
titre
Coverability Trees for Petri Nets with Unordered Data
auteur
Piotr Hofman, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
article
FoSSaCS, 2016, Eindhoven, Netherlands. Springer, 9634, pp.445--461, Lecture Notes in Computer Science. 〈10.1007/978-3-662-49630-5_26〉
DOI
DOI : 10.1007/978-3-662-49630-5_26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252674/file/main.pdf BibTex
titre
Forward Analysis and Model Checking for Trace Bounded WSTS
auteur
Pierre Chambart, Alain Finkel, Sylvain Schmitz
article
Theoretical Computer Science, Elsevier, 2016, 637, pp.1--29. 〈10.1016/j.tcs.2016.04.020〉
DOI
DOI : 10.1016/j.tcs.2016.04.020
Accès au bibtex
https://arxiv.org/pdf/1004.2802 BibTex

2015

titre
The Ideal View on Rackoff's Coverability Technique
auteur
Ranko Lazić, Sylvain Schmitz
article
Mikołaj Bojańczyk; Sławomir Lasota; Igor Potapov. RP 2015 - 9th International Workshop on Reachability Problems, Sep 2015, Warsaw, Poland. Springer, 9328, pp.1--13, Lecture Notes in Computer Science. 〈10.1007/978-3-319-24537-9_8〉
DOI
DOI : 10.1007/978-3-319-24537-9_8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01176755/file/article.pdf BibTex
titre
Fixed-dimensional energy games are in pseudo-polynomial time
auteur
Marcin Jurdzinski, Ranko Lazić, Sylvain Schmitz
article
Magnús M. Halldórsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann. ICALP 2015: Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, Jul 2015, Kyoto, Japan. Springer, 9135, pp.260--272, Lecture Notes in Computer Science. 〈10.1007/978-3-662-47666-6_21〉
DOI
DOI : 10.1007/978-3-662-47666-6_21
Accès au bibtex
https://arxiv.org/pdf/1502.06875 BibTex
titre
Demystifying Reachability in Vector Addition Systems
auteur
Jérôme Leroux, Sylvain Schmitz
article
LICS 2015, Jul 2015, Kyoto, Japan. IEEE, pp.56--67, 〈10.1109/LICS.2015.16〉
DOI
DOI : 10.1109/LICS.2015.16
Accès au bibtex
https://arxiv.org/pdf/1503.00745 BibTex
titre
Non-Elementary Complexities for Branching VASS, MELL, and Extensions
auteur
Ranko Lazić, Sylvain Schmitz
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (3:20), pp.1--30. 〈10.1145/2733375〉
DOI
DOI : 10.1145/2733375
Accès au bibtex
https://arxiv.org/pdf/1401.6785 BibTex

2014

titre
The Power of Priority Channel Systems
auteur
Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (4:4), pp.1--39. 〈http://www.lmcs-online.org/ojs/viewarticle.php?id=1595&layout=abstract〉. 〈10.2168/LMCS-10(4:4)2014〉
DOI
DOI : 10.2168/LMCS-10(4:4)2014
Accès au bibtex
https://arxiv.org/pdf/1301.5500 BibTex
titre
Complexity Bounds for Ordinal-Based Termination
auteur
Sylvain Schmitz
article
Joël Ouaknine; Igor Potapov; James Worrell. 8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. Springer, 8762, pp.1--19, Lecture Notes in Computer Science. 〈10.1007/978-3-319-11439-2_1〉
DOI
DOI : 10.1007/978-3-319-11439-2_1
Accès au bibtex
https://arxiv.org/pdf/1407.5896 BibTex
titre
Alternating Vector Addition Systems with States
auteur
Jean-Baptiste Courtois, Sylvain Schmitz
article
Csuhaj-Varjú, Erzsébet; Dietzfelbinger, Martin; Ésik, Zoltán. 39th International Symposium on Mathematical Foundations of Computer Science, Aug 2014, Budapest, Bulgaria. Springer, 8634, pp.220--231, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-44522-8_19〉
DOI
DOI : 10.1007/978-3-662-44522-8_19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980878/file/article.pdf BibTex
titre
Lexical Disambiguation in LTAG using Left Context
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
article
Zygmunt Vetulani; Joseph Mariani. Human Language Technology. Challenges for Computer Science and Linguistics. 5th Language and Technology Conference, LTC 2011, Poznan, Poland, November 25-27, 2011, Revised Selected Papers, 8387, Springer, pp.67-79, 2014, Lecture Notes in Computer Science (LNCS) series / Lecture Notes in Artificial Intelligence (LNAI) subseries, ISBN 978-3-319-08957-7. 〈10.1007/978-3-319-08958-4_6〉
DOI
DOI : 10.1007/978-3-319-08958-4_6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921246/file/lexical-disambiguation.pdf BibTex
titre
Implicational Relevance Logic is 2-ExpTime-Complete
auteur
Sylvain Schmitz
article
Gilles Dowek. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Jul 2014, Vienna, Austria. Springer, 8560, pp.395--409, Lecture Notes in Comptuer Science. 〈10.1007/978-3-319-08918-8_27〉
DOI
DOI : 10.1007/978-3-319-08918-8_27
Accès au bibtex
https://arxiv.org/pdf/1402.0705 BibTex
titre
Non-Elementary Complexities for Branching VASS, MELL, and Extensions
auteur
Ranko Lazić, Sylvain Schmitz
article
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. ACM, pp.61:1--61:1, 2014, 〈10.1145/2603088.2603129〉
DOI
DOI : 10.1145/2603088.2603129
Accès au bibtex
https://arxiv.org/pdf/1401.6785 BibTex

2013

titre
The Power of Well-Structured Systems
auteur
Sylvain Schmitz, Philippe Schnoebelen
article
Pedro R. D'Argenio and Hernán Melgratti. 24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. Springer, Lecture Notes in Computer Science, 8052, pp.5--24, 2013, Concur 2013. 〈10.1007/978-3-642-40184-8_2〉
DOI
DOI : 10.1007/978-3-642-40184-8_2
Accès au bibtex
https://arxiv.org/pdf/1402.2908 BibTex
titre
The Power of Priority Channel Systems
auteur
Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
article
Pedro R. D'Argenio and Hernán Melgratti. 24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. Springer, 8052, pp.319--333, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40184-8_23〉
DOI
DOI : 10.1007/978-3-642-40184-8_23
Accès au bibtex
https://arxiv.org/pdf/1301.5500 BibTex
titre
Model Checking Parse Trees
auteur
Anudhyan Boral, Sylvain Schmitz
article
Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. IEEE Press, pp.153--162, 2013, 〈10.1109/LICS.2013.21〉
DOI
DOI : 10.1109/LICS.2013.21
Accès au bibtex
https://arxiv.org/pdf/1211.5256 BibTex
titre
On LR Parsing with Selective Delays
auteur
Eberhard Bertsch, Mark-Jan Nederhof, Sylvain Schmitz
article
Koen De Bosschere and Ranjit Jhala. Compilers Construction, Mar 2013, Rome, Italy. Springer, 7791, pp.244--263, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-37051-9_13〉
DOI
DOI : 10.1007/978-3-642-37051-9_13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00769668/file/article.pdf BibTex
titre
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
auteur
Prateek Karandikar, Sylvain Schmitz
article
Frank Pfenning. 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.273--288, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-37075-5_18〉
DOI
DOI : 10.1007/978-3-642-37075-5_18
Accès au bibtex
https://arxiv.org/pdf/1211.5259 BibTex

2012

titre
Algorithmic Aspects of WQO Theory
auteur
Sylvain Schmitz, Philippe Schnoebelen
article
Master. France. 2012
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-00727025/file/lecturenotes.pdf BibTex
titre
The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets
auteur
Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen
article
27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. IEEE Press, pp.355--364, 2012, 〈10.1109/LICS.2012.46〉
DOI
DOI : 10.1109/LICS.2012.46
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00793811/file/main.pdf BibTex

2011

titre
Lexical Disambiguation in LTAG using Left Context
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
article
5th Language & Technology Conference - LTC'11, Nov 2011, Poznań, Poland. pp.395-399, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00629902/file/polarities_LTC-11.pdf BibTex
titre
Multiply-Recursive Upper Bounds with Higman's Lemma
auteur
Sylvain Schmitz, Philippe Schnoebelen
article
Aceto, L., Henzinger, M., and Sgall, J. 38th International Colloquium on Automata, Languages and Programming, Jul 2011, Zürich, Switzerland. Springer, 6756, p. 441--452, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-22012-8_35〉
DOI
DOI : 10.1007/978-3-642-22012-8_35
Accès au bibtex
https://arxiv.org/pdf/1103.4399 BibTex
titre
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
auteur
Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
article
26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. IEEE Press, p. 269--278, 2011, 〈10.1109/LICS.2011.39〉
DOI
DOI : 10.1109/LICS.2011.39
Accès au bibtex
https://arxiv.org/pdf/1007.2989 BibTex
titre
Forward Analysis and Model Checking for Trace Bounded WSTS
auteur
Pierre Chambart, Alain Finkel, Sylvain Schmitz
article
Kristensen, L.M. and Petrucci, L. 32nd International Conference on Application and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. Springer, 6709, p. 49--68, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21834-7_4〉
DOI
DOI : 10.1007/978-3-642-21834-7_4
Accès au bibtex
https://arxiv.org/pdf/1004.2802 BibTex
titre
A Note on Sequential Rule-Based POS Tagging
auteur
Sylvain Schmitz
article
Andreas Maletti. FSMNLP, 2011, Blois, France. Association for Computational Linguistics, pp.83--87, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00600260/file/article.pdf BibTex
titre
Model Checking Coverability Graphs of Vector Addition Systems
auteur
Michel Blockelet, Sylvain Schmitz
article
Filip Murlak and Piotr Sankowski. MCFS, 2011, Warsaw, Poland. Springer, 6907, pp.108--119, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-22993-0_13〉
DOI
DOI : 10.1007/978-3-642-22993-0_13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00600077/file/article.pdf BibTex

2010

titre
An Experimental Ambiguity Detection Tool
auteur
Sylvain Schmitz
article
Science of Computer Programming, Elsevier, 2010, 75 (1--2), pp.71--84. 〈10.1016/j.scico.2009.07.002〉
DOI
DOI : 10.1016/j.scico.2009.07.002
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00436398/file/expamb.pdf BibTex
titre
Parametric Random Generation of Deterministic Tree Automata
auteur
Pierre Héam, Cyril Nicaud, Sylvain Schmitz
article
Theoretical Computer Science, 2010, 411, pp.3469-3480. 〈10.1016/j.tcs.2010.05.036〉
DOI
DOI : 10.1016/j.tcs.2010.05.036
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01226599/file/Heam2010.pdf BibTex
titre
On the Computational Complexity of Dominance Links in Grammatical Formalisms
auteur
Sylvain Schmitz
article
ACL 2010, 2010, Uppsala, Sweden. pp.514--524, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00482396/file/bvass.pdf BibTex
titre
Parametric Random Generation of Deterministic Tree Automata
auteur
Pierre-Cyrille Heam, Cyril Nicaud, Sylvain Schmitz
article
Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.3469--3480
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00561274/file/hns10_ij.pdf BibTex

2009

titre
Random Generation of Deterministic Tree (Walking) Automata
auteur
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
article
Sebastian Maneth. 14th International Conference on Implementation and Application of Automata - CIAA 2009, Jul 2009, Sydney, Australia. Springer-Verlag, 5642, pp.115--124, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02979-0_15〉
DOI
DOI : 10.1007/978-3-642-02979-0_15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408316/file/RandomTA.pdf BibTex

2008

titre
Calculs d'unification sur les arbres de dérivation TAG
auteur
Sylvain Schmitz, Joseph Le Roux
article
TALN'08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320--329, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00270922/file/tagunif.pdf BibTex
titre
Feature Unification in TAG Derivation Trees
auteur
Sylvain Schmitz, Joseph Le Roux
article
Claire Gardent and Anoop Sarkar. Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148, 2008
Accès au bibtex
https://arxiv.org/pdf/0804.4584 BibTex

2007

titre
Approximating Context-Free Grammars for Parsing and Verification
auteur
Sylvain Schmitz
article
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2007. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00271168/file/phd.pdf BibTex
titre
Conservative Ambiguity Detection in Context-Free Grammars
auteur
Sylvain Schmitz
article
Arge L., Cachin C., Jurdziński T., and Tarlecki, A. 34th International Colloquium on Automata, Languages and Programming, Jul 2007, Wroclaw, Poland. Springer, 4596, pp.692-703, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73420-8_60〉
DOI
DOI : 10.1007/978-3-540-73420-8_60
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00610222/file/ambiguity.a4.pdf BibTex