Accéder directement au contenu

Sylvain Schmitz

11
Documents

Présentation

Publications

33724

Implicational Relevance Logic is 2-ExpTime-Complete

Sylvain Schmitz
The Journal of Symbolic Logic, 2016, 81 (2), pp.641--661. ⟨10.1017/jsl.2015.7⟩
Article dans une revue hal-01340113v1

Complexity Hierarchies Beyond Elementary

Sylvain Schmitz
ACM Transactions on Computation Theory, 2016, 8 (1), ⟨10.1145/2858784⟩
Article dans une revue hal-01267354v1

Non-Elementary Complexities for Branching VASS, MELL, and Extensions

Ranko Lazić , Sylvain Schmitz
ACM Transactions on Computational Logic, 2015, 16 (3:20), pp.1--30. ⟨10.1145/2733375⟩
Article dans une revue hal-01168290v1

The Power of Priority Channel Systems

Christoph Haase , Sylvain Schmitz , Philippe Schnoebelen
Logical Methods in Computer Science, 2014, 10 (4:4), pp.1--39. ⟨10.2168/LMCS-10(4:4)2014⟩
Article dans une revue hal-01091086v1

Fixed-dimensional energy games are in pseudo-polynomial time

Marcin Jurdzinski , Ranko Lazić , Sylvain Schmitz
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⟩
Communication dans un congrès hal-01168300v1

Demystifying Reachability in Vector Addition Systems

Jérôme Leroux , Sylvain Schmitz
LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩
Communication dans un congrès hal-01168388v1

Complexity Bounds for Ordinal-Based Termination

Sylvain Schmitz
8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. pp.1--19, ⟨10.1007/978-3-319-11439-2_1⟩
Communication dans un congrès hal-01076701v1
Image document

Alternating Vector Addition Systems with States

Jean-Baptiste Courtois , Sylvain Schmitz
39th International Symposium on Mathematical Foundations of Computer Science, Aug 2014, Budapest, Bulgaria. pp.220--231, ⟨10.1007/978-3-662-44522-8_19⟩
Communication dans un congrès hal-00980878v2

Implicational Relevance Logic is 2-ExpTime-Complete

Sylvain Schmitz
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⟩
Communication dans un congrès hal-01076698v1

Non-Elementary Complexities for Branching VASS, MELL, and Extensions

Ranko Lazić , Sylvain Schmitz
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⟩
Communication dans un congrès hal-01076694v1
Image document

Algorithmic Complexity of Well-Quasi-Orders

Sylvain Schmitz
Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
HDR tel-01663266v1