Tashkinov-Trees: An Annotated Proof.

Published in: Graphs Comb. (2024)

Keyphrases

decision trees
linear logic
theorem prover
manually annotated
tree structures
tree construction
tree models
data sets
information retrieval
search engine
metadata
knowledge representation
tree structure
theorem proving
binary tree