Pages that link to "Item:Q1412856"

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)