Advanced indexing operations on substitution trees

DOI10.1007/3-540-61511-3_113zbMath1412.68228OpenAlexW1784902132MaRDI QIDQ4647547

No author found.

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_113

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• Complexity and related enhancements for automated theorem-proving programs
• Substitution tree indexing
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Advanced indexing operations on substitution trees