The following pages link to Clemens Ley (Q3088043):
Displaying 6 items.
- On the Use of Guards for Logics with Data (Q3088044) (← links)
- Logics with rigidly guarded data tests (Q3196341) (← links)
- Automata vs. Logics on Data Words (Q3586037) (← links)
- Foundations of Rule-Based Query Answering (Q3603501) (← links)
- Analysis of Schemas with Access Restrictions (Q5012523) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)