Undecidability Results on Orienting Single Rewrite Rules.

René Thiemann Fabian Mitterwallner Aart Middeldorp

Published in: Arch. Formal Proofs (2024)

Keyphrases

rewrite rules
rewriting rules
transformation rules
viewpoint
description logics