Pages that link to "Item:Q5682255"

The following pages link to A medvedev characterization of sets recognized by generalized finite automata (Q5682255):

Displaying 3 items.

• Decidable containment of recursive queries (Q555766) (← links)
• On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
• Classes of formal grammars (Q1248342) (← links)