The following pages link to (Q3811687):
Displayed 7 items.
- Topological methods for algebraic specification (Q671657) (← links)
- Sequentially dense essential monomorphisms of acts over semigroups (Q711374) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Observational structures and their logic (Q1190494) (← links)
- On functions preserving levels of approximation: A refined model construction for various lambda calculi (Q1275633) (← links)
- On \(m\)-separated projection spaces (Q1330916) (← links)
- Down closed injectivity and essentialness (Q4997985) (← links)