Filter your results
- 42
- 14
- 37
- 11
- 4
- 1
- 1
- 1
- 1
- 3
- 56
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 12
- 3
- 6
- 4
- 6
- 3
- 1
- 5
- 3
- 1
- 2
- 1
- 53
- 2
- 1
- 43
- 37
- 13
- 7
- 7
- 5
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 14
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
56 Results
|
|
sorted by
|
|
On the Complexity of Free Word OrdersFormal Grammar, 2013, Tuebingen, Germany
Conference papers
hal-00945516v1
|
||
|
Using Models to Model-check Recursive SchemesLogical 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-Calculus16th Workshop on Logic, Language, Information and Computation, 2009, Tokyo, Japan
Conference papers
inria-00412654v1
|
|||
|
MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automatonJournal 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 abstraitesAutre [cs.OH]. Institut National Polytechnique de Lorraine, 2005. Français. ⟨NNT : 2005INPL050N⟩
Theses
tel-01750002v1
|
|||
|
The IO and OI hierarchies revisitedInformation and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Journal articles
hal-01251097v1
|
||
|
Simply typed fixpoint calculus and collapsible pushdown automataMathematical Structures in Computer Science, 2016, 26, pp.1304 - 1350. ⟨10.1017/S0960129514000590⟩
Journal articles
hal-01394828v1
|
||
|
The Diagonal Problem for Higher-Order Recursion Schemes is DecidableLICS, Jun 2016, New York, United States. pp.96 - 105, ⟨10.1145/2933575.2934527⟩
Conference papers
hal-01394830v1
|
||
|
A model for divergence insensitive properties of lambdaY-terms2015
Preprints, Working Papers, ...
hal-01169352v1
|
||
|
On IO-Copying and Mildly-Context Sensitive FormalismsFormal Grammar 2012, 2012, Opole, Poland. pp.1-16
Conference papers
hal-00959620v1
|
||
|
The IO and OI hierarchies revisitedICALP (2), Jul 2013, Riga, Latvia
Conference papers
hal-00818069v1
|
||
|
Linear high-order deterministic tree transducers with regular look-aheadMFCS 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 Automata19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
Conference papers
inria-00100081v1
|
|||
|
Krivine machines and higher-order schemesInformation 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$-calculusInternational 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 GrammarsNew Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Conference papers
hal-00306393v1
|
|||
|
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial GrammarsJournal of Logic, Language and Information, 2010, 19 (2), pp.185--200
Journal articles
inria-00409557v1
|
||
|
Well-Nestedness Properly Subsumes Strict Derivational MinimalismLogical Aspects of Computational Linguistics - 6th international conference, 2011, Montpellier, France. pp.112-128
Conference papers
hal-00959629v1
|
||
|
A model for behavioural properties of higher-order programs24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.229⟩
Conference papers
hal-01145494v1
|
||
|
On the Boundedness Problem for Higher-Order Pushdown Vector Addition SystemsFSTTCS 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 GrammarsLanguage 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.17th International Conference on Rewriting Techniques and Applications, RTA 2006, 2006, Seattle, United States. pp.151-165
Conference papers
inria-00334006v1
|
|||
|
Parsing TAG with Abstract Categorial Grammar.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 GrammarsNew Directions in Type Theoretic Grammars, 2007, Ireland. pp.43--50
Conference papers
hal-00306230v1
|
|||
|
Krivine machines and higher-order schemes[Research Report] 2011, pp.17
Reports
inria-00589407v1
|
||
|
Loader and Urzyczyn Are Logically RelatedICALP, 2012, Warwick, France. pp.364-376
Conference papers
hal-00959623v1
|
||
|
A logical approach to grammar descriptionJournal 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
|
||
|
Using models to model-check recursive schemesTLCA 2013, 2013, Eindhoven, Netherlands. pp.189-204
Conference papers
hal-00741077v2
|
||
|
A Datalog recognizer for almost affine lambda-CFGsMathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩
Conference papers
hal-00740701v1
|
||
|
Game semantics and uniqueness of type inhabitance in the simply typed lambda-calculusTyped Lambda-Calculi and Applications, Apr 2011, Novi Sad, Serbia. pp.61-75
Conference papers
hal-00719044v1
|
- 1
- 2