Consistent Consequence for Boolean Equation Systems

From MaRDI portal
Publication:2891375

DOI10.1007/978-3-642-27660-6_23zbMath1298.68173OpenAlexW1591886066MaRDI QIDQ2891375

Maciej Gazda, Tim A. C. Willemse

Publication date: 15 June 2012

Published in: SOFSEM 2012: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27660-6_23




Related Items (4)




Cites Work




This page was built for publication: Consistent Consequence for Boolean Equation Systems