Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions

From MaRDI portal
Publication:3949989

DOI10.1145/322307.322308zbMath0488.68056OpenAlexW2038464985WikidataQ124796661 ScholiaQ124796661MaRDI QIDQ3949989

Steve Winker

Publication date: 1982

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://www.osti.gov/biblio/6416263



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (12)




This page was built for publication: Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions