H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972. 4 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Executing Temporal Logic Programs - Ben Moszkowski Address (1986) (113 citations) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972. 4
Semantic Peer-to-Peer Recommender Systems - Vladimir Ernesto Daz-Aviles (2005) (Correct)
No context found.
Enderton, H. B. A Mathematical Introduction to Logic. Academic Press, 1972.
Query Optimization for Semistructured Data - Using Path Constraints (Correct)
No context found.
H. B. Enderton. A mathematical introduction to logic. Academic Press, 1972.
Query Optimization for Semistructured Data using Path.. - In Deterministic Data (Correct)
No context found.
H. B. Enderton. A mathematical introduction to logic. Academic Press, 1972.
Path Constraints in Semistructured Databases - Peter Buneman Department (1 citation) (Correct)
No context found.
H. B. Enderton, "A mathematical introduction to logic", Academic Press, 1972.
Specifying and Reasoning about Workflows - With Path Constraints (Correct)
No context found.
H. B. Enderton. A mathematical introduction to logic. Academic Press, 1972.
An Abduction-based Method for Index - Relaxation In Taxonomy-Based (2003) (Correct)
No context found.
H.B. Enderton. A mathematical introduction to logic. Academic Press, N. Y., 1972.
Unknown - (1993) (Correct)
No context found.
Enderton, H.B. (1972). A mathematical introduction to logic.NewYork: Academic Press.
A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996) (Correct)
No context found.
Enderton, H.B., A Mathematical Introduction to Logic, Academic Press, 1972.
Semantics for a Useful Fragment of the Situation Calculus - Lakemeyer, Levesque (2005) (Correct)
No context found.
H. Enderton, A Mathematical Introduction to Logic, Academic Press, New York, 1972.
A Linearization of the Lambda-Calculus and Consequences - Kfoury (2000) (Correct)
No context found.
Enderton, H.B., A Mathematical Introduction to Logic, Academic Press, 1972.
Term Algebras with Length Function and Bounded Quantifier.. - Zhang, Sipma, Manna (2004) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 2001.
Decision Procedures for Recursive Data Structures with.. - Zhang, Sipma, Manna (2004) (1 citation) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, second edition, 2001.
On Impossibility of Decremental Recomputation of Recursive.. - Dong, Libkin, Wong (1995) (5 citations) (Correct)
No context found.
H. Enderton. A Mathematical Introduction to Logic. Academic Press, San Diego, 1972.
Normal Forms and Conservative Extension Properties for Query.. - Wong (1995) (4 citations) (Correct)
No context found.
H. B. Enderton, "A Mathematical Introduction to Logic," Academic Press, San Diego, 1972.
Term Algebras with Length Function and Bounded Quantifier.. - Zhang, Sipma, Manna (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, second edition, 2001.
Decision Procedures for Recursive Data Structures with.. - Zhang, Sipma, Manna (2004) (1 citation) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 2nd edition, 2001.
An Abduction-based Method for Index Relaxation in.. - Meghini, Tzitzikas.. (2003) (Correct)
No context found.
H.B. Enderton. A mathematical introduction to logic. Academic Press, N. Y., 1972.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
No context found.
H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.
A Linearization of the Lambda-Calculus and Consequences - Kfoury (1996) (Correct)
No context found.
Enderton, H.B., A Mathematical Introduction to Logic, Academic Press, 1972.
An Algebraic Characterization of First-Order Definability - Kfoury Kfoury Cs (1993) (Correct)
No context found.
Enderton H. B., A Mathematical Introduction To Logic, New York, Academic Press, 1972.
An Algebraic Characterization of First-Order Definability - Kfoury, Wymann-Böni (1993) (Correct)
No context found.
Enderton H. B., A Mathematical Introduction ToLogic,NewYork, Academic Press, 1972.
Uniform Derivation of Decision Procedures by Superposition - Armando, al. (2001) (4 citations) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Pr., 1972.
Light-Weight Theorem Proving for Debugging and Verifying.. - Deharbe, Ranise (2003) (2 citations) (Correct)
No context found.
H. B. Enderton. A Mathematical Introduction to Logic. Ac. Press, Inc., 1972.
An Abduction-based Method for Index Relaxation in.. - Meghini, Tzitzikas.. (2003) (Correct)
No context found.
H.B. Enderton. A mathematical introduction to logic. Academic Press, N. Y., 1972.
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