Pages that link to "Item:Q5945614"
From MaRDI portal
The following pages link to Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614):
Displaying 4 items.
- Streams and strings in formal proofs. (Q1853510) (← links)
- Taylor expansions of groups and filtered-formality (Q2210186) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)