Context trees

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

Volumn 2083 LNAI, Issue , 2001, Pages 242-256

  Ganzinger, Harald ^a   Nieuwenhuis, Robert ^b   Nivela, Pilar ^b  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DATA STRUCTURES; INDEXING (OF INFORMATION); COMPUTATION THEORY; SEMANTICS;

AUTOMATED THEOREM PROVER; CONTEXT VARIABLES; EQUALITY CONSTRAINTS; FUNCTION SYMBOLS; INDEX STRUCTURE; SPACE CONSUMPTION; STATE OF THE ART; SUBSTITUTION TREES;

TREES (MATHEMATICS);

EID: 84867803549     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_18     Document Type: Conference Paper

References (10)

1. Jim Christian. Flatterms, Discrimination Nets, and Fast Term rewriting. Journal of Automated Reasoning, 10:95-113, 1993.
2. Peter Graf. Substitution Tree Indexing. In J. Hsiang, editor, 6th RTA, LNCS 914, pages 117-131, Kaiserslautern, Germany, April 4-7, 1995. Springer-Verlag.
3. Thomas Hillenbrand, Arnim Buch, Roland Vogt, and Bernd Löchner. WALDMEISTER-high-performance equational deduction. Journal of Automated Reasoning, 18(2):265-270, April 1997.
4. William McCune. Experiments with discrimination tree indexing and path indexing for term retrieval. Journal of Automated Reasoning, 9(2):147-167, October 1992.
5. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, and Andrei Voronkov. On the evaluation of indexing data structures. 2001. This proceedings.
6. Robert Nieuwenhuis, José Miguel Rivero, and Miguel Ángel Vallejo. A kernel of data structures and algorithms for automated deduction with equality clauses (system description). In William McCune, editor, 14th International Conference on Automated Deduction (CADE), LNAI 1249, pages 49-53, Jamestown, Australia, 1997. Springer-Verlag. Long version at www.lsi.upc.es/~roberto.
7. Alexandre Riazanov and Andrei Voronkov. Partially adaptive code trees. In Proceedings of JELIA 2000, Malaga, Spain, 2000.
8. Geoff Sutcliffe, Christian Suttner, and Theodor Yemenis. The TPTP problem library. In Alan Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, volume 814 of LNAI, pages 252-266, Berlin, June/July 1994. Springer.
9. Andrei Voronkov. The anatomy of vampire implementing bottom-up procedures with code trees. Journal of Automated Reasoning, 15(2):237-265, October 1995.
10. Christoph Weidenbach. SPASS-version 0.49. Journal of Automated Reasoning, 18(2):247-252, April 1997.