Login / Signup
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version).
Keisuke Nakano
Munehiro Iwami
Published in:
CoRR (2024)
Keyphrases
</>
tree automata
finite state
regular expressions
finite automata
term rewriting
finite automaton
syntactic pattern recognition
tree languages
type checking
positive and negative
high level
pattern matching