Pages that link to "Item:Q5902143"
From MaRDI portal
The following pages link to A Logical Foundation for Environment Classifiers (Q5902143):
Displaying 4 items.
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- A concrete framework for environment machines (Q5277795) (← links)
- A Logical Foundation for Environment Classifiers (Q5894005) (← links)
- Ill-founded proof systems for intuitionistic linear-time temporal logic (Q6541154) (← links)