Pages that link to "Item:Q1729826"
From MaRDI portal
The following pages link to Towards a pseudoequational proof theory (Q1729826):
Displaying 5 items.
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification (Q1810851) (← links)
- Profinite topologies (Q2074218) (← links)
- Pseudovarieties of ordered completely regular semigroups (Q2422183) (← links)
- Locally countable pseudovarieties (Q2687295) (← links)
- Proof equivalence in MLL is PSPACE-complete (Q2790165) (← links)