Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).

Published in: FSCD (2023)

Keyphrases

term rewriting
invited talk
operational semantics
rewrite systems
theorem proving
theorem prover
knuth bendix
knowledge discovery and data mining
knowledge representation
formal semantics
international conference
higher education
selected papers