Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk).
Cynthia KopPublished in: FSCD (2022)
Keyphrases
- term rewriting
- invited talk
- higher order
- theorem prover
- theorem proving
- rewrite systems
- knuth bendix
- selected papers
- inference rules
- first order logic
- knowledge discovery and data mining
- pairwise
- operational semantics
- markov random field
- program committee
- intelligent systems
- international workshop
- multi agent
- artificial intelligence