Listar Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 por autor "SALVATI, Sylvain"
Mostrando ítems 1-13 de 13
-
A Datalog recognizer for almost affine lambda-CFGs
BOURREAU, Pierre; SALVATI, SylvainCommunication dans un congrès -
The Copying Power of Well-Nested Multiple Context-Free Grammars
MAKOTO, Kanazawa; SALVATI, SylvainCommunication dans un congrès -
On the Membership Problem for Non-Linear Abstract Categorial Grammars
SALVATI, Sylvain(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 163-183, 2010-04)Article de revue -
Recognizability in the Simply Typed Lambda-Calculus
SALVATI, SylvainCommunication dans un congrès -
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
RETORÉ, Christian; SALVATI, Sylvain(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 185--200, 2010-04)Article de revue -
Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear lambda-Calculus.
SALVATI, SylvainCommunication dans un congrès -
Parsing TAG with Abstract Categorial Grammar.
SALVATI, SylvainCommunication dans un congrès -
An Automata-Theoretic Approach to Minimalism
KOBELE, Gregory; RETORÉ, Christian; SALVATI, SylvainCommunication dans un congrès -
Non-Associative Categorial Grammars and Abstract Categorial Grammars
RETORÉ, Christian; SALVATI, SylvainCommunication dans un congrès -
Krivine machines and higher-order schemes
SALVATI, Sylvain; WALUKIEWICZ, IgorCommunication dans un congrès -
Encoding second order string ACG with Deterministic Tree Walking Transducers.
SALVATI, SylvainCommunication dans un congrès