2024
- titre
- Games on Graphs
- auteur
- Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotny, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
- article
- pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩
- DOI
- DOI : 10.48550/arXiv.2305.10546
- Accès au texte intégral et bibtex
-
2022
- titre
- On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
- auteur
- Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell
- article
- Proceedings of ISSAC 2022, 2022, Villeneuve-d’Ascq, France. ⟨10.1145/3476446.3536172⟩
- DOI
- DOI : 10.1145/3476446.3536172
- Accès au bibtex
-
2021
- titre
- The ideal view on Rackoff's coverability technique
- auteur
- Ranko Lazić, Sylvain Schmitz
- article
- Information and Computation, 2021, 277, pp.104582. ⟨10.1016/j.ic.2020.104582⟩
- DOI
- DOI : 10.1016/j.ic.2020.104582
- Accès au bibtex
-
- titre
- Branching in Well-Structured Transition Systems (Invited Talk)
- auteur
- Sylvain Schmitz
- article
- 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Ljubljana, Slovenia. pp.3:1--3:3, ⟨10.4230/LIPIcs.CSL.2021.3⟩
- DOI
- DOI : 10.4230/LIPIcs.CSL.2021.3
- Accès au bibtex
-
2020
- titre
- Informatique Mathématique Une photographie en 2020
- auteur
- Sébastien Labbé, Vincent Penelle, Marni Mishna, Fredrik Johansson, Marthe Bonamy, Jérôme Leroux, Xavier Goaoc, Irena Penev, Sylvain Schmitz, Xavier Caruso
- article
- 2020
- Accès au bibtex
-
- titre
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
- auteur
- Mirna Džamonja, Sylvain Schmitz, Philippe Schnoebelen
- article
- Peter M. Schuster; Monika Seisenberger; Andreas Weiermann. Well-Quasi Orders in Computation, Logic, Language and Reasoning, 53, Springer, 2020, Trends in Logic, ⟨10.1007/978-3-030-30229-0_2⟩
- DOI
- DOI : 10.1007/978-3-030-30229-0_2
- Accès au texte intégral et bibtex
-
2019
- titre
- The Parametric Complexity of Lossy Counter Machines
- auteur
- Sylvain Schmitz
- article
- ICALP 2019, Jul 2019, Patras, Greece. pp.129:1--129:15, ⟨10.4230/LIPIcs.ICALP.2019.129⟩
- DOI
- DOI : 10.4230/LIPIcs.ICALP.2019.129
- Accès au texte intégral et bibtex
-
- titre
- Decidable XPath Fragments in the Real World
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- 38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩
- DOI
- DOI : 10.1145/3294052.3319685
- Accès au texte intégral et bibtex
-
- titre
- Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
- auteur
- Jérôme Leroux, Sylvain Schmitz
- article
- LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1--13, ⟨10.1109/LICS.2019.8785796⟩
- DOI
- DOI : 10.1109/LICS.2019.8785796
- Accès au bibtex
-
- titre
- Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete
- auteur
- Petr Jancar, Sylvain Schmitz
- article
- LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1--12, ⟨10.1109/LICS.2019.8785848⟩
- DOI
- DOI : 10.1109/LICS.2019.8785848
- Accès au bibtex
-
- titre
- XPath Parser
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- 2019, ⟨swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd;origin=https://hal.archives-ouvertes.fr/hal-02079276;visit=swh:1:snp:c65e2c93c0e93ba5789ad3560b50492c942776ff;anchor=swh:1:rev:bac735336055e1e5fe24e87d33b42a802112e7df;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- XPath Benchmark
- auteur
- Anthony Lick, David Baelde, Sylvain Schmitz
- article
- 2019, ⟨swh:1:dir:1ea68cf5bb3f9f3f2fe8c7995f1802ebadf17fb5;origin=https://hal.archives-ouvertes.fr/hal-02079114;visit=swh:1:snp:7c7faf214f78660c34ea8392a4748f22faf7b432;anchor=swh:1:rev:39b305d6b703c1d2c2557d8c7aa1ae27a5d9e6a6;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets
- auteur
- Sylvain Schmitz, Georg Zetzsche
- article
- 13th International Conference on Reachability Problems (RP 2019), 2019, Brussels, Belgium. pp.193--201, ⟨10.1007/978-3-030-30806-3_15⟩
- DOI
- DOI : 10.1007/978-3-030-30806-3_15
- Accès au bibtex
-
2018
- titre
- A Hypersequent Calculus with Clusters for Tense Logic over Ordinals
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.15:1--15:19, ⟨10.4230/LIPIcs.FSTTCS.2018.15⟩
- DOI
- DOI : 10.4230/LIPIcs.FSTTCS.2018.15
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- A Hypersequent Calculus with Clusters for Linear Frames
- auteur
- David Baelde, Anthony Lick, Sylvain Schmitz
- article
- Twefth Conference on Advances in Modal Logic, Jul 2018, Bern, Switzerland. pp.36--55
- Accès au texte intégral et 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, 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
-
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
-
- titre
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- auteur
- Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
- article
- Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨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
-
- titre
- Perfect Half-Space Games
- auteur
- Thomas Colcombet, Marcin Jurdzinski, Ranko Lazić, Sylvain Schmitz
- article
- Logic in Computer Science, 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005105⟩
- DOI
- DOI : 10.1109/LICS.2017.8005105
- Accès au bibtex
-
2016
- titre
- A Sequent Calculus for a Modal Logic on Finite Data Trees
- auteur
- David Baelde, Simon Lunel, Sylvain Schmitz
- article
- CSL 2016, Sep 2016, Marseille, France. pp.1--16, ⟨10.4230/LIPIcs.CSL.2016.32⟩
- DOI
- DOI : 10.4230/LIPIcs.CSL.2016.32
- Accès au texte intégral et bibtex
-
- titre
- The Complexity of Coverability in ν-Petri Nets
- auteur
- Ranko Lazić, Sylvain Schmitz
- article
- LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩
- DOI
- DOI : 10.1145/2933575.2933593
- Accès au texte intégral et bibtex
-
- titre
- Deciding Piecewise Testable Separability for Regular Tree Languages
- auteur
- Jean Goubault-Larrecq, Sylvain Schmitz
- article
- ICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩
- DOI
- DOI : 10.4230/LIPIcs.ICALP.2016.97
- Accès au texte intégral et bibtex
-
- titre
- Implicational Relevance Logic is 2-ExpTime-Complete
- auteur
- Sylvain Schmitz
- article
- The Journal of Symbolic Logic, 2016, 81 (2), pp.641--661. ⟨10.1017/jsl.2015.7⟩
- DOI
- DOI : 10.1017/jsl.2015.7
- Accès au bibtex
-
- titre
- Complexity Hierarchies Beyond Elementary
- auteur
- Sylvain Schmitz
- article
- ACM Transactions on Computation Theory, 2016, 8 (1), ⟨10.1145/2858784⟩
- DOI
- DOI : 10.1145/2858784
- Accès au bibtex
-
- titre
- Automata Column: The Complexity of Reachability in Vector Addition Systems
- auteur
- Sylvain Schmitz
- article
- ACM SIGLOG News, 2016, 3 (1), pp.3--21. ⟨10.1145/2893582.2893585⟩
- DOI
- DOI : 10.1145/2893582.2893585
- Accès au texte intégral et 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. pp.445--461, ⟨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
-
- titre
- Ideal Decompositions for Vector Addition Systems
- auteur
- Jérôme Leroux, Sylvain Schmitz
- article
- STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science, 2016, Orléans, France. pp.1--13, ⟨10.4230/LIPIcs.STACS.2016.1⟩
- DOI
- DOI : 10.4230/LIPIcs.STACS.2016.1
- Accès au bibtex
-
- titre
- Forward Analysis and Model Checking for Trace Bounded WSTS
- auteur
- Pierre Chambart, Alain Finkel, Sylvain Schmitz
- article
- Theoretical Computer Science, 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
-
2015
- titre
- The Ideal View on Rackoff's Coverability Technique
- auteur
- Ranko Lazić, Sylvain Schmitz
- article
- RP 2015 - 9th International Workshop on Reachability Problems, Sep 2015, Warsaw, Poland. pp.1--13, ⟨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
-
- titre
- Fixed-dimensional energy games are in pseudo-polynomial time
- auteur
- Marcin Jurdzinski, Ranko Lazić, Sylvain Schmitz
- article
- ICALP 2015: Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, Jul 2015, Kyoto, Japan. pp.260--272, ⟨10.1007/978-3-662-47666-6_21⟩
- DOI
- DOI : 10.1007/978-3-662-47666-6_21
- Accès au bibtex
-
- titre
- Demystifying Reachability in Vector Addition Systems
- auteur
- Jérôme Leroux, Sylvain Schmitz
- article
- LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩
- DOI
- DOI : 10.1109/LICS.2015.16
- Accès au bibtex
-
- titre
- Non-Elementary Complexities for Branching VASS, MELL, and Extensions
- auteur
- Ranko Lazić, Sylvain Schmitz
- article
- ACM Transactions on Computational Logic, 2015, 16 (3:20), pp.1--30. ⟨10.1145/2733375⟩
- DOI
- DOI : 10.1145/2733375
- Accès au bibtex
-
2014
- titre
- The Power of Priority Channel Systems
- auteur
- Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
- article
- Logical Methods in Computer Science, 2014, 10 (4:4), pp.1--39. ⟨10.2168/LMCS-10(4:4)2014⟩
- DOI
- DOI : 10.2168/LMCS-10(4:4)2014
- Accès au bibtex
-
- titre
- Complexity Bounds for Ordinal-Based Termination
- auteur
- Sylvain Schmitz
- article
- 8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. pp.1--19, ⟨10.1007/978-3-319-11439-2_1⟩
- DOI
- DOI : 10.1007/978-3-319-11439-2_1
- Accès au bibtex
-
- titre
- Alternating Vector Addition Systems with States
- auteur
- Jean-Baptiste Courtois, Sylvain Schmitz
- article
- 39th International Symposium on Mathematical Foundations of Computer Science, Aug 2014, Budapest, Bulgaria. pp.220--231, ⟨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
-
- 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. pp.61:1--61:1, ⟨10.1145/2603088.2603129⟩
- DOI
- DOI : 10.1145/2603088.2603129
- Accès au 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
-
- titre
- Implicational Relevance Logic is 2-ExpTime-Complete
- auteur
- Sylvain Schmitz
- article
- Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Jul 2014, Vienna, Austria. pp.395--409, ⟨10.1007/978-3-319-08918-8_27⟩
- DOI
- DOI : 10.1007/978-3-319-08918-8_27
- Accès au bibtex
-
2013
- titre
- The Power of Well-Structured Systems
- auteur
- Sylvain Schmitz, Philippe Schnoebelen
- article
- 24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.5--24, ⟨10.1007/978-3-642-40184-8_2⟩
- DOI
- DOI : 10.1007/978-3-642-40184-8_2
- Accès au bibtex
-
- titre
- The Power of Priority Channel Systems
- auteur
- Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
- article
- 24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.319--333, ⟨10.1007/978-3-642-40184-8_23⟩
- DOI
- DOI : 10.1007/978-3-642-40184-8_23
- Accès au 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. pp.153--162, ⟨10.1109/LICS.2013.21⟩
- DOI
- DOI : 10.1109/LICS.2013.21
- Accès au bibtex
-
- titre
- The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
- auteur
- Prateek Karandikar, Sylvain Schmitz
- article
- 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. pp.273--288, ⟨10.1007/978-3-642-37075-5_18⟩
- DOI
- DOI : 10.1007/978-3-642-37075-5_18
- Accès au bibtex
-
- titre
- On LR Parsing with Selective Delays
- auteur
- Eberhard Bertsch, Mark-Jan Nederhof, Sylvain Schmitz
- article
- Compilers Construction, Mar 2013, Rome, Italy. pp.244--263, ⟨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
-
2012
- titre
- Algorithmic Aspects of WQO Theory
- auteur
- Sylvain Schmitz, Philippe Schnoebelen
- article
- Master. France. 2012
- Accès au texte intégral et 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. pp.355--364, ⟨10.1109/LICS.2012.46⟩
- DOI
- DOI : 10.1109/LICS.2012.46
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Multiply-Recursive Upper Bounds with Higman's Lemma
- auteur
- Sylvain Schmitz, Philippe Schnoebelen
- article
- 38th International Colloquium on Automata, Languages and Programming, Jul 2011, Zürich, Switzerland. p. 441--452, ⟨10.1007/978-3-642-22012-8_35⟩
- DOI
- DOI : 10.1007/978-3-642-22012-8_35
- Accès au 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. p. 269--278, ⟨10.1109/LICS.2011.39⟩
- DOI
- DOI : 10.1109/LICS.2011.39
- Accès au bibtex
-
- titre
- Forward Analysis and Model Checking for Trace Bounded WSTS
- auteur
- Pierre Chambart, Alain Finkel, Sylvain Schmitz
- article
- 32nd International Conference on Application and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. p. 49--68, ⟨10.1007/978-3-642-21834-7_4⟩
- DOI
- DOI : 10.1007/978-3-642-21834-7_4
- Accès au bibtex
-
- titre
- Model Checking Coverability Graphs of Vector Addition Systems
- auteur
- Michel Blockelet, Sylvain Schmitz
- article
- MCFS, 2011, Warsaw, Poland. pp.108--119, ⟨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
-
- titre
- A Note on Sequential Rule-Based POS Tagging
- auteur
- Sylvain Schmitz
- article
- FSMNLP, 2011, Blois, France. pp.83--87
- Accès au texte intégral et bibtex
-
2010
- titre
- An Experimental Ambiguity Detection Tool
- auteur
- Sylvain Schmitz
- article
- Science of Computer Programming, 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
-
- titre
- Parametric Random Generation of Deterministic Tree Automata
- auteur
- Pierre-Cyrille Heam, Cyril Nicaud, Sylvain Schmitz
- article
- Theoretical Computer Science, 2010, 411 (1), 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
-
- 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
-
- titre
- On the Computational Complexity of Dominance Links in Grammatical Formalisms
- auteur
- Sylvain Schmitz
- article
- ACL 2010, 2010, Uppsala, Sweden. pp.514--524
- Accès au texte intégral et bibtex
-
2009
- titre
- Random Generation of Deterministic Tree (Walking) Automata
- auteur
- Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz
- article
- 14th International Conference on Implementation and Application of Automata - CIAA 2009, Jul 2009, Sydney, Australia. pp.115--124, ⟨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
-
2008
- titre
- Feature Unification in TAG Derivation Trees
- auteur
- Sylvain Schmitz, Joseph Le Roux
- article
- Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148
- Accès au bibtex
-
- 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
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Conservative Ambiguity Detection in Context-Free Grammars
- auteur
- Sylvain Schmitz
- article
- 34th International Colloquium on Automata, Languages and Programming, Jul 2007, Wroclaw, Poland. pp.692-703, ⟨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
-