Pages that link to "Item:Q1853504"
From MaRDI portal
The following pages link to Guarded fixed point logics and the monadic theory of countable trees. (Q1853504):
Displayed 7 items.
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Combining Theories: The Ackerman and Guarded Fragments (Q3172881) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- Repetitions and permutations of columns in the semijoin algebra (Q3625687) (← links)