The following pages link to Christopher Spinrath (Q1679988):
Displaying 9 items.
- Decision problems for subclasses of rational relations over finite and infinite words (Q1679989) (← links)
- Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (Q3451103) (← links)
- Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (Q4640038) (← links)
- (Q5091125) (← links)
- (Q5377226) (← links)
- Rewriting with Acyclic Queries: Mind Your Head (Q6178695) (← links)
- Rewriting with acyclic queries: mind your head (Q6491018) (← links)
- Rewriting with acyclic queries: mind your head (Q6492714) (← links)
- Work-efficient query evaluation with PRAMs (Q6615190) (← links)
