A. G. Ramesh. Some Applications of Non-Clausal Deduction. PhD thesis, Department of Computer Science, State University of New York at Albany, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deduction in Many-Valued Logics: a Survey - Reiner Hähnle, Gonzalo.. (1997) (2 citations) (Correct)
....results were obtained yet. Others may be found in Section 3.2.4. 1. Obtaining Prime Implicants Implicates in NNF Regular and Post Logics. Ramesh Murray discuss a novel approach having the advantage that no intermediate clause normal form must be computed. As [122] is only an abstract and [123] is not easily available, a full account of this work is contained in this special issue. 2. In a similar vein is an effort to simplify signed NNF formulas by removal of so called anti links [14] again without retracting to clause form. 3. Determining the relationship between signed logic ....
A. G. Ramesh. Some Applications of Non-Clausal Deduction. PhD thesis, Department of Computer Science, State University of New York at Albany, 1995.
Simplification of Many-Valued Logic Formulas Using.. - Bernhard Beckert.. (1997) (1 citation) (Correct)
No context found.
Anavai G. Ramesh. Some Applications of Non-Clausal Deduction. PhD thesis, Department of Computer Science, State University of New York at Albany, 1995.
Simplification of Many-Valued Logic Formulas Using.. - Bernhard Beckert.. (1997) (1 citation) (Correct)
No context found.
Anavai G. Ramesh. Some Applications of Non-Clausal Deduction. PhD thesis, Department of Computer Science, State University of New York at Albany, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC