The following pages link to (Q4496851):
Displayed 7 items.
- Group cancellation and resolution (Q817703) (← links)
- Cut and pay (Q851192) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Logical structures and genus of proofs (Q1035649) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Automatic graphs and D0L-sequences of finite graphs (Q1877692) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)