Pages that link to "Item:Q1082091"
From MaRDI portal
The following pages link to The greatest fixed-points and rational omega-tree languages (Q1082091):
Displaying 4 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Logical definability of fixed points (Q1114673) (← links)
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
