Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings
From MaRDI portal
Publication:1412856
DOI10.1007/b11829zbMath1026.00022OpenAlexW2483160171MaRDI QIDQ1412856
No author found.
Publication date: 27 November 2003
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2741.htm
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Algebraic simulations ⋮ Proof planning with multiple strategies ⋮ \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Viewing \({\lambda}\)-terms through maps ⋮ Context Dependent Procedures and Computed Types in ✓eriFun
This page was built for publication: Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings
