Pages that link to "Item:Q5170664"

The following pages link to EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664):

Displaying 2 items.

• On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
• Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)