( en | de | ru )

 

Disambiguation of "Salvati, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages.

, , , , and . Theory Comput. Syst., 55 (1): 250-278 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Domenico Salvati

Roberto Salvati

Sylvain Mogliacci

Sylvain Broyer

Sylvain Marlière

 

Other publications of authors with the same name

Using models to model-check recursive schemes., and . Logical Methods in Computer Science, (2015)On the Complexity of Free Word Orders., and . FG, volume 8036 of Lecture Notes in Computer Science, page 209-224. Springer, (2013)Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus.. RTA, volume 4098 of Lecture Notes in Computer Science, page 151-165. Springer, (2006)Krivine machines and higher-order schemes., and . Inf. Comput., (2014)Minimalist Grammars in the Light of Logic.. Logic and Grammar, volume 6700 of Lecture Notes in Computer Science, page 81-117. Springer, (2011)The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars., and . FG, volume 8036 of Lecture Notes in Computer Science, page 191-208. Springer, (2013)Krivine Machines and Higher-Order Schemes., and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 162-173. Springer, (2011)A Datalog Recognizer for Almost Affine λ-CFGs., and . MOL, volume 6878 of Lecture Notes in Computer Science, page 21-38. Springer, (2011)A logical approach to grammar description., , and . J. Lang. Model., 3 (1): 87-143 (2015)On is an n-MCFL., , and . J. Comput. Syst. Sci., (2022)