Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings

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

zbMATH Keywords

Automated deductionCADE-19Miami Beach, FL (USA)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

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