The following pages link to Lorijn van Rooijen (Q280839):
Displayed 7 items.
- Relational semantics for full linear logic (Q280840) (← links)
- Separating Regular Languages by Piecewise Testable and Unambiguous Languages (Q2849957) (← links)
- On Separation by Locally Testable and Locally Threshold Testable Languages (Q2921121) (← links)
- A Note on Decidable Separability by Piecewise Testable Languages (Q2947878) (← links)
- Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages (Q2963927) (← links)
- (Q4560219) (← links)
- Generalized Kripke semantics for the Lambek-Grishin calculus (Q4914003) (← links)