The following pages link to Sophie Tison (Q462480):
Displayed 36 items.
- Item:Q462480 (redirect page) (← links)
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- Queries on XML streams with bounded delay and concurrency (Q553309) (← links)
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems (Q918215) (← links)
- Set constraints and automata (Q1286366) (← links)
- Recognizable tree-languages and nonlinear morphisms (Q1603692) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Generalized definite set constraints (Q1975208) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- (Q2723888) (← links)
- Tree Automata, (Dis-)Equality Constraints and Term Rewriting (Q3007653) (← links)
- Earliest Query Answering for Deterministic Nested Word Automata (Q3183602) (← links)
- (Q3217633) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- TREE AUTOMATA WITH GLOBAL CONSTRAINTS (Q3586405) (← links)
- Satisfiability of a Spatial Logic with Tree Variables (Q3608409) (← links)
- On the Normalization and Unique Normalization Properties of Term Rewrite Systems (Q3608777) (← links)
- Bounded Delay and Concurrency for Earliest Query Answering (Q3618594) (← links)
- (Q3702507) (← links)
- (Q3974858) (← links)
- (Q4260705) (← links)
- (Q4273671) (← links)
- (Q4281553) (← links)
- (Q4453471) (← links)
- (Q4847003) (← links)
- (Q4934355) (← links)
- (Q4938600) (← links)
- (Q4944863) (← links)
- Fair termination is decidable for ground systems (Q5055739) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- Equality and disequality constraints on direct subterms in tree automata (Q5096779) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311157) (← links)
- Monotone AC-Tree Automata (Q5387849) (← links)
- Classes of Tree Homomorphisms with Decidable Preservation of Regularity (Q5458355) (← links)
- Database Programming Languages (Q5493343) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)