Pages that link to "Item:Q1119630"

The following pages link to An automata theoretic decision procedure for the propositional mu- calculus (Q1119630):

Displaying 2 items.

• Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
• Abstraction in Fixpoint Logic (Q5277894) (← links)