Decision procedures for theories of sets with measures

DOI10.1007/978-3-319-63046-5_11zbMath1496.03038OpenAlexW2734634746MaRDI QIDQ2405249

Markus Bender, Viorica Sofronie-Stokkermans

Publication date: 22 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-63046-5_11

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Decision procedures for theories of sets with measures