The following pages link to Jean-Marc Talbot (Q1607042):
Displayed 37 items.
- The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
- Decision problems of tree transducers with origin (Q1641005) (← links)
- Visibly pushdown transducers (Q1672009) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Generalized definite set constraints (Q1975208) (← links)
- Two-way Parikh automata with a visibly pushdown stack (Q2289072) (← links)
- Trimming visibly pushdown automata (Q2344743) (← links)
- (Q2767035) (← links)
- (Q2769429) (← links)
- Lagrangians of Hypergraphs (Q3147280) (← links)
- Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (Q3167498) (← links)
- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs (Q3400933) (← links)
- Decision Problems of Tree Transducers with Origin (Q3449477) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- Properties of Visibly Pushdown Transducers (Q3586097) (← links)
- TREE AUTOMATA WITH GLOBAL CONSTRAINTS (Q3586405) (← links)
- Satisfiability of a Spatial Logic with Tree Variables (Q3608409) (← links)
- Nested Sibling Tree Automata (Q3625699) (← links)
- (Q4417858) (← links)
- Two-Way Visibly Pushdown Automata and Transducers (Q4635877) (← links)
- A Generalised Twinning Property for Minimisation of Cost Register Automata (Q4635950) (← links)
- (Q4673420) (← links)
- (Q4738363) (← links)
- (Q4783317) (← links)
- (Q4808755) (← links)
- (Q4944863) (← links)
- (Q4994131) (← links)
- (Q5092439) (← links)
- Paths vs. trees in set-based program analysis (Q5178862) (← links)
- Trimming Visibly Pushdown Automata (Q5327485) (← links)
- Monotone AC-Tree Automata (Q5387849) (← links)
- Database Programming Languages (Q5493343) (← links)
- Term Rewriting and Applications (Q5703872) (← links)
- Visibly Pushdown Transducers with Well-Nested Outputs (Q5890815) (← links)
- Visibly Pushdown Transducers with Well-Nested Outputs (Q5891815) (← links)
- (Q6124934) (← links)