The following pages link to Diego Figueira (Q905681):
Displaying 33 items.
- Synchronizing relations on words (Q905682) (← links)
- Reasoning about Data Repetitions with Counter Systems (Q2818761) (← links)
- Graph Logics with Rational Relations (Q2846573) (← links)
- Alternating register automata on finite words and trees (Q2881089) (← links)
- Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization (Q2941736) (← links)
- Decidability of Downward XPath (Q2946683) (← links)
- (Q2957484) (← links)
- Synchronizing Relations on Words (Q2965513) (← links)
- Relating timed and register automata (Q2971073) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189) (← links)
- (Q3113675) (← links)
- Future-Looking Logics on Data Words and Trees (Q3182936) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- Expressive Power and Decidability for Memory Logics (Q3511448) (← links)
- Tableaux and Model Checking for Memory Logics (Q3648720) (← links)
- (Q4596782) (← links)
- (Q4598262) (← links)
- Bisimulations on Data Graphs (Q4605201) (← links)
- Pattern logics and auxiliary relations (Q4635625) (← links)
- Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (Q4635815) (← links)
- Semantically Acyclic Conjunctive Queries under Functional Dependencies (Q4635949) (← links)
- (Q4963999) (← links)
- Resynchronizing Classes of Word Relations (Q5002809) (← links)
- Semantic Optimization of Conjunctive Queries (Q5056448) (← links)
- Universality Problem for Unambiguous VASS (Q5089303) (← links)
- Closure properties of synchronized relations (Q5090470) (← links)
- (Q5091266) (← links)
- The Quantifier Alternation Hierarchy of Synchronous Relations (Q5092389) (← links)
- Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One (Q5111451) (← links)
- Reasoning about Data Repetitions with Counter Systems (Q5271038) (← links)
- (Q5874362) (← links)
