Handling Polymorphism in Automated Deduction
From MaRDI portal
Publication:3608778
DOI10.1007/978-3-540-73595-3_18zbMath1213.68568OpenAlexW1557830359MaRDI QIDQ3608778
Stéphane Lescuyer, Jean-François Couchot
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_18
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A Polymorphic Vampire ⋮ Expressing Polymorphic Types in a Many-Sorted Language ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Encoding Monomorphic and Polymorphic Types ⋮ Extending Sledgehammer with SMT Solvers
Uses Software
This page was built for publication: Handling Polymorphism in Automated Deduction
