Theory-Specific Automated Reasoning

DOI10.1007/978-3-642-14309-0_3zbMath1285.68146OpenAlexW1809302967MaRDI QIDQ3578390

Andrea Formisano, Eugenio Giovanni Omodeo

Publication date: 20 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_3

zbMATH Keywords

set theoryproof assistantdecision algorithminference mechanism

Mathematics Subject Classification ID

Related Items (1)

Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets

This page was built for publication: Theory-Specific Automated Reasoning