Pages that link to "Item:Q2938514"

The following pages link to Action Theories over Generalized Databases with Equality Constraints (Q2938514):

Displaying 2 items.

• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
• Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)