Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer Verlag, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Dynamic Lambda Calculus - Michael Kohlhase Susanna (Correct)
No context found.
Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer Verlag, 1990.
Processing Textbook-style Matrices - Alan Sexton And (2005) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer, 1990.
Semantic Analysis of Matrix Structures - Alan Sexton And (2005) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer, 1990.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer-Verlag (1996)
Analytica - An Experiment in Combining Theorem Proving and.. - Bauer, Clarke, Zhao (1997) (11 citations) (Correct)
No context found.
M. Fitting. First-order Logic and Automated Theorem Proving. Springer-Verlag, 1990. 24
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
No context found.
Melvin C. Fitting. First--Order Logic and Automated Theorem Proving. Springer, Berlin, 2nd edition, 1996.
A Sequent Calculus for Reasoning in Four-valued Description Logics - Straccia (1997) (1 citation) (Correct)
No context found.
Melvin Fitting. First-Order Logic and AutomatedTheorem Proving. SpringerVerlag, 1990.
Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
No context found.
Melvin C. Fitting. First--Order Logic and Automated Theorem Proving. Springer, Berlin, 2nd edition, 1996.
Deadlock And Reachability Checking With Finite Complete Prefixes - Heljanko (1999) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, New York, 1990.
A Theorem Proving Approach to Analysis of Secure Information .. - Dravas, Hahnle, Sands (Correct)
No context found.
M. C. Fitting. First-Order Logic and Automated Theorem Proving. SpringerVerlag, New York, 2nd edition, 1996.
Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
No context found.
Melvin C. Fitting. First--Order Logic and Automated Theorem Proving. Springer, Berlin, 2nd edition, 1996.
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
No context found.
Melvin C. Fitting. First--Order Logic and Automated Theorem Proving. Springer, Berlin, 2nd edition, 1996.
Analytica - An Experiment in Combining Theorem Proving and.. - Clarke, Zhao (1992) (6 citations) (Correct)
No context found.
M.Fitting, First-order Logic and Automated Theorem Proving, SpringerVerlag, 1990.
Constructive Interpolation in Hybrid Logic - Blackburn, Marx (2002) (Correct)
No context found.
M. Fitting. First Order Logic and Automated Theorem Proving (second edition). Springer Verlag, 1996.
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1990.
Using Strict Implication in Background Theories for.. - Jansen, Schreiber.. (Correct)
No context found.
M. C. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, New York, 1990.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1996.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1996.
Multicriteria Optimization with Export Rules for Mechanical Design - Coelho (2004) (Correct)
No context found.
M. Fitting, First-Order Logic and Automated Theorem Proving, Texts and Monographs in Computer Science, Springer-Verlag, New York (1990).
C-Tableaux - Zarba (2004) (Correct)
No context found.
Melvin C. Fitting. First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer, 2nd edition, 1996.
Unknown - Reasoning Without Conflicts (1994) (Correct)
No context found.
M. Fitting. First-order logic and automated theorem proving. Springer Verlag, 1990.
Efficient Assembly of Product Structures in Worldwide.. - Müller, Dadam, Feltes (2003) (Correct)
No context found.
M. C. Fitting. First-order logic and automated theorem proving. Springer, New York, Heidelberg, 1990.
Model Checking Data-Independent Systems With Arrays - Newcomb (2003) (3 citations) (Correct)
No context found.
M.C. Fitting. First Order Logic and Automated Theorem Proving. SpringerVerlag, 2nd edition, 1996.
A SAT-Based Propositional Prover for Consistency Checking of.. - Kaiser (2001) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer Verlag, 1990.
A Proof-Planning Framework with Explicit Abstractions Based on.. - Autexier (2001) (Correct)
No context found.
M. Fitting. First-Order Logic and Automated Theorem Proving / 2nd Edition. Springer-Verlag New York Inc., 1996. ISBN 0-387-94593-8.
First 50 documents Next 50
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