Pages that link to "Item:Q1412856"
From MaRDI portal
The following pages link to Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings (Q1412856):
Displayed 5 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Algebraic simulations (Q844884) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336) (← links)