Pages that link to "Item:Q3352996"
From MaRDI portal
The following pages link to Modal logics withn-ary connectives (Q3352996):
Displayed 10 items.
- A completeness theorem for open maps (Q1338199) (← links)
- Combining word problems through rewriting in categories with products (Q1398463) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- (Q4285618) (← links)
- A categorical look at tree automata and context-free languages (Q4322430) (← links)
- (Q4344804) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)