Combining sets with elements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2772, Issue , 2004, Pages 762-782

  Zarba, Calogero G ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMBINATION METHOD; COMBINING SETS; DECISION PROCEDURE;

HEURISTIC METHODS;

EID: 35248857971     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (10)

1. E. T. Bell. Exponential numbers. American Mathematical Monthly, 41:411-419, 1934.
2. D. Cantone, A. Ferro, and E. G. Omodeo. Computable Set Theory, volume 6 of International Series of Monographs on Computer Science. Clarendon Press, 1989.
3. M. D'Agostino. Are tableaux an improvement on truth tables? Journal of Logic, Language and Information, 1(3):235-252, 1992.
4. N. G. de Bruijn. Asymptotic Methods in Analysis. North-Holland Publishing Company, 1958.
5. A. Ferro and E. G. Omodeo. An efficient validity test for formulae in extensional two-level syllogistic. Le Matematiche, 33:130-137, 1978.
6. M. C. Fitting. First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer, 2nd edition, 1996.
7. G. Nelson and D. C. Oppen. Simplification by cooperating decision procedures. ACM Transactions on Programming Languages and Systems, 1(2):245-257, 1979.
8. M. Presburger. Über die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, in welchen die addition als einzige operation hervortritt. In Comptes Rendus du Premier Congrès des Mathématicienes des Pays Slaves, pages 92-101, 1929.
9. R. M. Smullyan. First-Order Logic. Springer, 1968.
10. C. Tinelli and M. T. Harandi. A new correctness proof of the Nelson-Oppen combination procedure. In F. Baader and K. U. Schulz, editors, Frontiers of Combining Systems, volume 3 of Applied Logic Series, pages 103-120. Kluwer Academic Publishers, 1996.