Cover von A Modular Formalization of Superposition in Isabelle/HOL opens in new tab

A Modular Formalization of Superposition in Isabelle/HOL

Year: 2024
Media group: LIPIcs

Details

Search for this author
Year: 2024
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 12:1-12:20
Participating parties: Search for this character Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Media group: LIPIcs