Tableaux Modulo Theories Using Superdeduction
From MaRDI portal
Publication:2908505
DOI10.1007/978-3-642-31365-3_26zbMath1358.68255arXiv1501.01301MaRDI QIDQ2908505
Catherine Dubois, David Delahaye, Mélanie Jacquel, Karim Berkani
Publication date: 5 September 2012
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.01301
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
Uses Software