A superimposed codeword indexing scheme for very large Prolog databases
Proceedings on Third international conference on logic programming
Lazy pattern matching in the ML language
Proc. of the seventh conference on Foundations of software technology and theoretical computer science
Complexity of matching problems
Journal of Symbolic Computation
A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Compiling pattern matching by term decomposition
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The specificity rule for lazy pattern-matching in ambiguous term rewrite systems
Proceedings of the third European symposium on programming on ESOP '90
Automata-driven indexing of Prolog clauses
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compilation of pattern matching with associative-commutative functions
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Left-to-right tree pattern matching
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Handbook of theoretical computer science (vol. B)
Magic templates: a spellbinding approach to logic programs
Journal of Logic Programming
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
Compiling lazy pattern matching
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Fast parallel implementation of lazy languages—the EQUALS experience
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Tight complexity bounds for term matching problems
Information and Computation
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
Note on McCune's article on discrimination trees
Journal of Automated Reasoning
Experiments with discrimination-tree indexing and path indexing for term retrieval
Journal of Automated Reasoning
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multistage indexing algorithms for speeding Prolog execution
Software—Practice & Experience
On the efficiency of subsumption algorithms
Journal of the ACM (JACM)
SIAM Journal on Computing
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Term Indexing
Journal of Automated Reasoning
Journal of Automated Reasoning
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
Journal of Automated Reasoning
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Journal of Automated Reasoning
Implementation of Lazy Pattern Matching Algorithms
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
An Implementation Technique for a Class of Bottom-Up Procedures
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Complement Problems and Tree Automata in AC-like Theories (Extended Abstract)
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Associative-Commutative Discrimination Nets
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automata-Driven Efficient Subterm Unification
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
A Subsumption Algorithm Based on Characteristic Matrices
Proceedings of the 9th International Conference on Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Combining superposition, sorts and splitting
Handbook of automated reasoning
Input transformations and resolution implementation techniques for theorem proving in first-order logic (clause form, discrimination networks, heuristic search, locking resolution)
EQUALS – a fast parallel implementation of a lazy language
Journal of Functional Programming
Experiments with associative-commutative discrimination nets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Adaptive Saturation-Based Reasoning
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Extraction of Proofs from the Clausal Normal Form Transformation
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Combining superposition, sorts and splitting
Handbook of automated reasoning
From datalog rules to efficient programs with time and space guarantees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Limited resource strategy in resolution theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
An indexing scheme for typed feature structures
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 2
Indexing methods for efficient parsing
NAACLstudent '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology: Proceedings of the HLT-NAACL 2003 student research workshop - Volume 3
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Optimizing typed feature structure grammar parsing through non-statistical indexing
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Electronic Notes in Theoretical Computer Science (ENTCS)
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast Packet Classification Using Condition Factorization
ACNS '09 Proceedings of the 7th International Conference on Applied Cryptography and Network Security
Higher-order term indexing using substitution trees
ACM Transactions on Computational Logic (TOCL)
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Efficient instance retrieval with standard and relational path indexing
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Implementing a fair monodic temporal logic prover
AI Communications - Practical Aspects of Automated Reasoning
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Comparing unification algorithms in first-order theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Matching with regular constraints
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
XML-izing mizar: making semantic processing and presentation of MML easy
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
A persistent feature-object database for intelligent text archive systems
IJCNLP'04 Proceedings of the First international joint conference on Natural Language Processing
Overcoming performance barriers: efficient verification techniques for logical frameworks
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Tabling for higher-order logic programming
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Plan indexing for state-based plans
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
The 481 ways to split a clause and deal with propositional variables
CADE'13 Proceedings of the 24th international conference on Automated Deduction
First-Order theorem proving and vampire
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Effects of Terms Recognition Mistakes on Requests Processing for Interactive Information Retrieval
International Journal of Information Retrieval Research
Simple and efficient clause subsumption with feature vector indexing
Automated Reasoning and Mathematics
Hi-index | 0.00 |