Sylvain Salvati

An Automata-Theoretic Approach to Minimalism

Gregory M. Kobele, Christian Retoré, Sylvain Salvati · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 49 citations

MIX is a 2-MCFL and the word problem in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mrow><mml:mi mathvariant="double-struck">Z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> is captured by the IO and the OI hierarchies

Sylvain Salvati · Journal of Computer and System Sciences · 2015 · 30 citations

Math Xmlns, Natural Sciences, Particle Physics +6

The Diagonal Problem for Higher-Order Recursion Schemes is Decidable

Lorenzo Clemente, Paweł Parys, Sylvain Salvati et al. · 2016 · 23 citations · Full text

Non-deterministic Recursion Scheme, Engineering, Reachability Problem +15

Vector addition tree automata

Philippe de Groote, Bruno Guillaume, Sylvain Salvati · 2004 · 22 citations

Petri Net, Tree Language, Logical Automaton +15

On the Membership Problem for Non-Linear Abstract Categorial Grammars

Sylvain Salvati · Journal of Logic Language and Information · 2009 · 17 citations · Full text

Syntax, Automated Reasoning, Grammatical Formalism +6