Using Abduction to Compute Efficient Proofs

DOI10.1016/j.entcs.2009.07.047zbMath1311.03059OpenAlexW1992397010MaRDI QIDQ5178959

Could not fetch data.

Publication date: 18 March 2015

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.047

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.