Pages that link to "Item:Q5492896"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2005 (Q5492896):
Displaying 8 items.
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Complexity of model checking for cardinality-based belief revision operators (Q2401889) (← links)
- Fixpoint logics over hierarchical structures (Q2429724) (← links)
- A ZDD-Based Efficient Higher-Order Model Checking Algorithm (Q2789057) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
- (Q5144667) (← links)
- Three notes on the complexity of model checking fixpoint logic with chop (Q5441546) (← links)