Automated reasoning with function evaluation for COCOLOG with examples
- 24 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 3758-3763
- https://doi.org/10.1109/cdc.1992.370957
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On Markovian fragments of COCOLOG for logic control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Short proofs of the pigeonhole formulas based on the connection methodJournal of Automated Reasoning, 1990
- COCOLOG: a conditional observer and controller logic for finite machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- The intractability of resolutionTheoretical Computer Science, 1985
- The Generalized Resolution PrinciplePublished by Springer Nature ,1983
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965