Pages that link to "Item:Q2849420"

The following pages link to Modelling Infinite Structures with Atoms (Q2849420):

Displaying 5 items.

• Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
• A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
• Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
• (Q5009439) (← links)
• (Q5094137) (← links)