Pages that link to "Item:Q964505"
From MaRDI portal
The following pages link to A coinductive calculus of binary trees (Q964505):
Displaying 9 items.
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- Sequent Calculus in the Topos of Trees (Q2948556) (← links)
- Verification of redecoration for infinite triangular matrices using coinduction (Q2957696) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- Graded Computation Tree Logic with Binary Coding (Q3586038) (← links)
- Operads and Phylogenetic Trees (Q4563202) (← links)
- (Q4825687) (← links)
- (Q5186728) (← links)
- Finitary Corecursion for the Infinitary Lambda Calculus (Q5275360) (← links)