Pages that link to "Item:Q760212"

The following pages link to The solutions of two star-height problems for regular trees (Q760212):

Displaying 6 items.

• The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
• Type inference with recursive types: Syntax and semantics (Q756435) (← links)
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
• Algorithms for determining relative star height and star height (Q1118420) (← links)
• Algorithms for determining relative inclusion star height and inclusion star height (Q1183589) (← links)
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)