The Simplest Proof of Parikh's Theorem via Derivation Trees.

Alexander A. Rubtsov

Published in: CoRR (2023)

Keyphrases

interactive theorem proving
decision trees
tree structure
genetic algorithm
theorem prover
theorem proving
search algorithm
information systems
tree automata
case study
website
data sets
compact representations
linear logic
unordered trees
labeled trees
heavy traffic limit
information retrieval