scientific article; zbMATH DE number 7455734
From MaRDI portal
Publication:5020994
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10255
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- About the Paterson-Wegman linear unification algorithm
- A practically efficient and almost linear unification algorithm
- SETHEO: A high-performance theorem prover
- Linear unification
- Fast term indexing with coded context trees
- The anatomy of vampire. Implementing bottom-up procedures with code trees
- Higher-order term indexing using substitution trees
- An Efficient Unification Algorithm
- HiLog: A foundation for higher-order logic programming
- The Semantics of Predicate Logic as a Programming Language
- Algorithm = logic + control
- Efficient access mechanisms for tabled logic programs
- Teaching Automated Theorem Proving by Example: PyRes 1.2
- Left-to-right tree pattern matching
- Substitution tree indexing
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
- Adaptive pattern matching
- Extended path-indexing
- A Machine-Oriented Logic Based on the Resolution Principle
This page was built for publication:
