( en | de | ru )

 

Disambiguation of "Salvati, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Krivine Machines and Higher-Order Schemes.

, and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 162-173. Springer, (2011)

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 Castagnos

 

Other publications of authors with the same name

A Datalog Recognizer for Almost Affine λ-CFGs., and . MOL, volume 6878 of Lecture Notes in Computer Science, page 21-38. Springer, (2011)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)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)The Copying Power of Well-Nested Multiple Context-Free Grammars., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 344-355. Springer, (2010)Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites. (Matching problem and parsing problem for abstract categorial grammars).. National Polytechnic Institute of Lorraine, Nancy, France, (2005)Using Models to Model-Check Recursive Schemes., and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 189-204. Springer, (2013)On the Complexity of Higher-Order Matching in the Linear lambda-Calculus., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 234-245. Springer, (2003)