Search - Archive ouverte HAL Access content directly

Filter your results

56 Results
Image document

On the Complexity of Free Word Orders

Jérôme Kirman , Sylvain Salvati
Formal Grammar, 2013, Tuebingen, Germany
Conference papers hal-00945516v1
Image document

Using Models to Model-check Recursive Schemes

Sylvain Salvati , Igor Walukiewicz
Logical Methods in Computer Science, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, ⟨10.2168/LMCS-???⟩
Journal articles hal-01251224v1

Recognizability in the Simply Typed Lambda-Calculus

Sylvain Salvati
16th Workshop on Logic, Language, Information and Computation, 2009, Tokyo, Japan
Conference papers inria-00412654v1
Image document

MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton

Sylvain Salvati
Journal of Computer and System Sciences, 2015, 81 (7), pp.1252 - 1277
Journal articles inria-00564552v1

Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites

Sylvain Salvati
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2005. Français. ⟨NNT : 2005INPL050N⟩
Theses tel-01750002v1
Image document

The IO and OI hierarchies revisited

Gregory M. Kobele , Sylvain Salvati
Information and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Journal articles hal-01251097v1
Image document

Simply typed fixpoint calculus and collapsible pushdown automata

Sylvain Salvati , Igor Walukiewicz
Mathematical Structures in Computer Science, 2016, 26, pp.1304 - 1350. ⟨10.1017/S0960129514000590⟩
Journal articles hal-01394828v1
Image document

The Diagonal Problem for Higher-Order Recursion Schemes is Decidable

Lorenzo Clemente , Paweł Parys , Sylvain Salvati , Igor Walukiewicz
LICS, Jun 2016, New York, United States. pp.96 - 105, ⟨10.1145/2933575.2934527⟩
Conference papers hal-01394830v1
Image document

A model for divergence insensitive properties of lambdaY-terms

Sylvain Salvati , Igor Walukiewicz
2015
Preprints, Working Papers, ... hal-01169352v1
Image document

On IO-Copying and Mildly-Context Sensitive Formalisms

Pierre Bourreau , Laura Kallmeyer , Sylvain Salvati
Formal Grammar 2012, 2012, Opole, Poland. pp.1-16
Conference papers hal-00959620v1
Image document

The IO and OI hierarchies revisited

Gregory M. Kobele , Sylvain Salvati
ICALP (2), Jul 2013, Riga, Latvia
Conference papers hal-00818069v1
Image document

Linear high-order deterministic tree transducers with regular look-ahead

Paul D Gallot , Aurélien Lemay , Sylvain Salvati
MFCS 2020 : The 45th International Symposium on Mathematical Foundations of Computer Science, Andreas Feldmann; Michal Koucky; Anna Kotesovcova, Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.34⟩
Conference papers hal-02902853v2

Vector Addition Tree Automata

Philippe de Groote , Bruno Guillaume , Sylvain Salvati
19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
Conference papers inria-00100081v1
Image document

Krivine machines and higher-order schemes

Sylvain Salvati , Igor Walukiewicz
Information and Computation, 2014, 239, pp.340-355. ⟨10.1016/j.ic.2014.07.012⟩
Journal articles hal-01121744v1

On the complexity of higher-order matching in the linear $\lambda$-calculus

Sylvain Salvati , Philippe de Groote
International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.234-245
Conference papers inria-00099593v1

Non-Associative Categorial Grammars and Abstract Categorial Grammars

Christian Retoré , Sylvain Salvati
New Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Conference papers hal-00306393v1
Image document

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Christian Retoré , Sylvain Salvati
Journal of Logic, Language and Information, 2010, 19 (2), pp.185--200
Journal articles inria-00409557v1
Image document

Well-Nestedness Properly Subsumes Strict Derivational Minimalism

Makoto Kanazawa , Jens Michaelis , Sylvain Salvati , Ryo Yoshinaka
Logical Aspects of Computational Linguistics - 6th international conference, 2011, Montpellier, France. pp.112-128
Conference papers hal-00959629v1
Image document

A model for behavioural properties of higher-order programs

Sylvain Salvati , Igor Walukiewicz
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.229⟩
Conference papers hal-01145494v1
Image document

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

Vincent Penelle , Sylvain Salvati , Grégoire Sutre
FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.44:1-44:20, ⟨10.4230/LIPIcs.FSTTCS.2018.44⟩
Conference papers hal-01962407v1

The Copying Power of Well-Nested Multiple Context-Free Grammars

Kanazawa Makoto , Sylvain Salvati
Language and Automata Theory and Applications, 2010, Trier, Germany. pp.344-355, ⟨10.1007/978-3-642-13089-2_29⟩
Conference papers istex inria-00525077v1

Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear lambda-Calculus.

Sylvain Salvati
17th International Conference on Rewriting Techniques and Applications, RTA 2006, 2006, Seattle, United States. pp.151-165
Conference papers inria-00334006v1
Image document

Parsing TAG with Abstract Categorial Grammar.

Sylvain Salvati
TAG+8: Workshop On Tree Adjoining Grammar And Related Formalisms, 2006, Sidney, Australia
Conference papers inria-00334009v1

On the membership problem for Non-linear Abstract Categorial Grammars

Sylvain Salvati
New Directions in Type Theoretic Grammars, 2007, Ireland. pp.43--50
Conference papers hal-00306230v1
Image document

Krivine machines and higher-order schemes

Sylvain Salvati , Igor Walukiewicz
[Research Report] 2011, pp.17
Reports inria-00589407v1
Image document

Loader and Urzyczyn Are Logically Related

Sylvain Salvati , Giulio Manzonetto , Mai Gehrke , Henk Barendregt
ICALP, 2012, Warwick, France. pp.364-376
Conference papers hal-00959623v1
Image document

A logical approach to grammar description

Lionel Clément , Jérôme Kirman , Sylvain Salvati
Journal of Language Modelling, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩
Journal articles hal-01251222v1
Image document

Using models to model-check recursive schemes

Sylvain Salvati , Igor Walukiewicz
TLCA 2013, 2013, Eindhoven, Netherlands. pp.189-204
Conference papers hal-00741077v2
Image document

A Datalog recognizer for almost affine lambda-CFGs

Pierre Bourreau , Sylvain Salvati
Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩
Conference papers hal-00740701v1
Image document

Game semantics and uniqueness of type inhabitance in the simply typed lambda-calculus

Pierre Bourreau , Sylvain Salvati
Typed Lambda-Calculi and Applications, Apr 2011, Novi Sad, Serbia. pp.61-75
Conference papers hal-00719044v1