The following pages link to Natasha Kurtonina (Q1280044):
Displaying 10 items.
- Categorial inference and modal logic (Q1280045) (← links)
- Bisimulations for temporal logic (Q1371312) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Partial proof trees, hybrid logic, and quantifier scope (Q1768805) (← links)
- (Q2762871) (← links)
- Relational Semantics for the Lambek-Grishin Calculus (Q3585007) (← links)
- Simulating without Negation (Q4351799) (← links)
- (Q4487295) (← links)
- (Q4789185) (← links)
- Talking about Explicit Databases in Categorial Grammar (Q4842278) (← links)
