Pages that link to "Item:Q1125056"
From MaRDI portal
The following pages link to Duplication of directed graphs and exponential blow up of proofs (Q1125056):
Displayed 10 items.
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Logical structures and genus of proofs (Q1035649) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- The cost of a cycle is a square (Q4532599) (← links)
- The geometry of non-distributive logics (Q5486243) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)