Term rewriting on nestohedra.

Pierre-Louis Curien Guillaume Laplante-Anfossi

Published in: CoRR (2024)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
data mining
artificial intelligence
probability distribution
first order logic
databases
cooperative
mobile robot
logic programming