Pages that link to "Item:Q5903941"
From MaRDI portal
The following pages link to Solution to a problem of Ono and Komori (Q5903941):
Displaying 10 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- On the solution of a problem of Okuyama (Q1088185) (← links)
- Correction to: ``Solution to a problem of Ono and Komori'' (Q1198410) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- (Q3701370) (← 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)