Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity

DOI10.1109/TC.1986.1676676zbMath0606.68085OpenAlexW1842527047MaRDI QIDQ3745319

Dominique Snyers, André Thayse

Publication date: 1986

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1986.1676676

zbMATH Keywords

Prologresolution principlelogic designdeclarative programmingP-functionsbinary decision programsbinary program synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity