Pages that link to "Item:Q555655"

The following pages link to Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655):

Displaying 2 items.

• Synthesizing optimally resilient controllers (Q2303880) (← links)
• Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)