A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems.

Ryota Haga Yuki Kagaya Takahito Aoto

Published in: FroCoS (2023)

Keyphrases

term rewriting systems
higher level
logic programs
database
artificial intelligence
pairwise
general purpose
functional programs