Pages that link to "Item:Q5903941"
From MaRDI portal
The following pages link to Solution to a problem of Ono and Komori (Q5903941):
Displaying 6 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)