Pages that link to "Item:Q6103588"
From MaRDI portal
The following pages link to First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588):
Displaying 1 item.