Login / Signup

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version).

Keisuke NakanoMunehiro 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