Filter your results
- 120
- 13
- 90
- 34
- 3
- 3
- 2
- 1
- 3
- 131
- 14
- 2
- 1
- 1
- 2
- 7
- 3
- 1
- 3
- 3
- 5
- 6
- 9
- 4
- 6
- 3
- 5
- 2
- 6
- 7
- 6
- 4
- 5
- 5
- 5
- 4
- 6
- 9
- 3
- 5
- 4
- 1
- 1
- 1
- 2
- 133
- 90
- 58
- 45
- 40
- 20
- 8
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 133
- 15
- 10
- 10
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
133 Results
|
Determinization and Minimization of Automata for Nested Words RevisitedAlgorithms, 2021, ⟨10.3390/a14030068⟩
Journal articles
hal-03134596v1
|
||
|
Query Induction with Schema-Guided Pruning StrategiesJournal of Machine Learning Research, 2013, 14 (1), pp.927−964
Journal articles
inria-00607121v2
|
||
|
Dominance Constraints in Stratified Context UnificationInformation Processing Letters, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩
Journal articles
inria-00094787v1
|
||
|
Schema-Guided Induction of Monadic Queries9th International Colloquium on Grammatical Inference, Sep 2008, Saint-Malo, France. pp.15-28, ⟨10.1007/978-3-540-88009-7_2⟩
Conference papers
inria-00309408v2
|
||
|
Complexity of Earliest Query Answering with Streaming Tree AutomataACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States
Conference papers
inria-00336169v1
|
||
|
The Constraint Language for Lambda StructuresJournal of Logic, Language and Information, 2001, 10, pp.457-485
Journal articles
inria-00536795v1
|
||
|
Ordering Constraints over Feature TreesConstraints, an International Journal, 2000, 5 (1--2), pp.7--42
Journal articles
inria-00536799v1
|
||
|
An Efficient Algorithm for the Configuration Problem of Dominance GraphsProceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, Washington, DC, United States. pp.815--824
Conference papers
inria-00536803v1
|
||
|
Constraints over Lambda-Structures in Semantic UnderspecificationJoined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98), 1998, Montreal, Canada. pp.353--359
Conference papers
inria-00536807v1
|
||
|
A Uniform Approach to Underspecification and Parallelism35th Annual Meeting of the Association of Computational Linguistics, 1997, Madrid, Spain. pp.410-417
Conference papers
inria-00536821v1
|
||
|
The XDG Grammar Development Kit2nd International Conference on Multiparadigm Programming in {Mozart/Oz}, 2004, Charleroi, Belgium. pp.190--201
Conference papers
inria-00536530v1
|
||
|
Logics for Unordered Trees with Data ConstraintsJournal of Computer and System Sciences, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
Journal articles
hal-01176763v2
|
||
|
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures23rd Conference on Mathematical Foundations of Programming Semantics, Apr 2007, New Orleans, United States. pp.313-337
Conference papers
inria-00128861v1
|
||
|
A Concurrent Lambda Calculus with FuturesTheoretical Computer Science, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
Journal articles
inria-00090434v2
|
||
|
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs2nd International Conference on Language and Automata Theory and Applications, Mar 2008, Tarragona, Spain. pp.184-195
Conference papers
inria-00192329v6
|
||
|
Streaming Tree AutomataInformation Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩
Journal articles
inria-00288445v3
|
||
|
Nested Regular Expressions can be Compiled to Small Deterministic Nested Word AutomataCSR 2020 - 15th International Computer Science Symposium in Russia, Jun 2020, Ekaterinburg, Russia
Conference papers
hal-02532706v2
|
||
|
Normalizing Chemical Reaction Networks by Confluent Structural Simplification14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom
Conference papers
hal-01348303v1
|
||
|
Equivalence of Symbolic Tree TransducersDLT 2017 - Developments in Language Theory, Aug 2017, Liege, Belgium. pp.12, ⟨10.1007/978-3-642-29709-0_32⟩
Conference papers
hal-01517919v2
|
||
Learning Top-Down Tree Transformations with Regular Inspection2016
Preprints, Working Papers, ...
hal-01357631v1
|
|||
|
Learning Top-Down Tree Transducers with Regular Domain InspectionInternational Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands
Conference papers
hal-01357186v1
|
||
|
Non-Structural Subtype Entailment in Automata TheoryInformation and Computation, 2003, 169 (2), pp.319-354
Journal articles
inria-00536540v1
|
||
|
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis42th Meeting of the Association for Computational Linguistics, 2004, Barcelona, Spain. pp.247-254
Conference papers
inria-00536532v1
|
||
|
Entailment of Atomic Set Constraints is PSPACE-CompleteFourteenth Annual IEEE Symposium on Logic in Computer Sience, 1999, Trento, Italy. pp.285--294
Conference papers
inria-00536817v1
|
||
|
Entailment of Non-Structural Subtype ConstraintsAsian Computing Science Conference, 1999, Phuket, Thailand. pp.251--265
Conference papers
inria-00536825v1
|
||
|
Earliest Query Answering for Deterministic Nested Word Automata17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. pp.121-132
Conference papers
inria-00390236v2
|
||
|
Dynamic Compartments in the Imperative Pi CalculusComputational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩
Conference papers
inria-00422970v1
|
||
|
Learning Sequential Tree-to-Word Transducers8th International Conference on Language and Automata Theory and Applications, Mar 2014, Madrid, Spain
Conference papers
hal-00912969v1
|
||
|
Projection for Nested Word Automata Speeds up XPath Evaluation on XML StreamsInternational Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Conference papers
hal-01182529v1
|
||
|
Linear Programs with Conjunctive QueriesICDT 2022 - 25th Internationcal Conference on Database Theory, Mar 2022, Edinburgh, United Kingdom
Conference papers
hal-01981553v1
|