Login / Signup

Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.

Jan-Christoph KassingJürgen Giesl
Published in: CADE (2023)
Keyphrases
  • term rewriting
  • theorem proving
  • rewrite systems
  • theorem prover
  • term rewrite systems
  • operational semantics
  • knuth bendix
  • pairwise
  • bayesian networks
  • probabilistic model
  • uncertain data
  • cooperative
  • intelligent systems