Instantiation Schemes for Nested Theories

DOI10.1145/2480759.2480763zbMath1353.68249arXiv1107.4937OpenAlexW2030508846MaRDI QIDQ2946696

Nicolas Peltier, Mnacho Echenim

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4937

zbMATH Keywords

satisfiability modulo theoriescombination of theoriesinstantiation-based proof procedures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Instantiation Schemes for Nested Theories