Publications HAL de Sylvain,Schmitz

2020

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
https://halshs.archives-ouvertes.fr/halshs-01625981/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-02020728/file/main.pdf 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
https://arxiv.org/pdf/1903.08575 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
https://arxiv.org/pdf/1901.07170 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
https://hal.archives-ouvertes.fr/hal-02079276/file/xpparser-1.0.zip 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
https://hal.archives-ouvertes.fr/hal-02079114/file/xpath-benchmark-2.0.zip 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
https://hal.inria.fr/hal-01852077/file/main.pdf 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
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
Twefth Conference on Advances in Modal Logic, Jul 2018, Bern, Switzerland. pp.36--55
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

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
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
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. ⟨10.1109/LICS.2017.8005105⟩
DOI
DOI : 10.1109/LICS.2017.8005105
Accès au bibtex
https://arxiv.org/pdf/1704.05626 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
https://hal.inria.fr/hal-01191172/file/main.pdf 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
https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf 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
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
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
https://hal.inria.fr/hal-01252674/file/main.pdf 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
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
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
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
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
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. 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. ⟨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
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
https://arxiv.org/pdf/1407.5896 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
https://hal.inria.fr/hal-00980878/file/article.pdf 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
https://arxiv.org/pdf/1401.6785 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
https://arxiv.org/pdf/1402.0705 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

2013

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
https://arxiv.org/pdf/1301.5500 BibTex
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
https://arxiv.org/pdf/1402.2908 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
https://arxiv.org/pdf/1211.5256 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
https://arxiv.org/pdf/1211.5259 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
https://hal.archives-ouvertes.fr/hal-00769668/file/article.pdf 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. pp.355--364, ⟨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
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
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
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. p. 269--278, ⟨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
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
https://arxiv.org/pdf/1004.2802 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
https://hal.archives-ouvertes.fr/hal-00600077/file/article.pdf 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
https://hal.archives-ouvertes.fr/hal-00600260/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
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
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
titre
Parametric Random Generation of Deterministic Tree Automata
auteur
Pierre Héam, Cyril Nicaud, Sylvain Schmitz
article
Theoretical Computer Science, Elsevier, 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

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
https://hal.inria.fr/inria-00408316/file/RandomTA.pdf 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
https://arxiv.org/pdf/0804.4584 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
https://hal.inria.fr/inria-00270922/file/tagunif.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00610222/file/ambiguity.a4.pdf BibTex