The following pages link to (Q4035346):
Displaying 6 items.
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Infinity problems and countability problems for \(\omega \)-automata (Q845856) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- Query automata over finite trees (Q1607226) (← links)
- Attribute grammars for unranked trees as a query language for structured documents (Q1776378) (← links)
- Automata techniques for query inference machines (Q1849855) (← links)