Pages that link to "Item:Q5881274"
From MaRDI portal
The following pages link to Meta-rule synthesis from crossed rewrite systems (Q5881274):
Displayed 2 items.
The following pages link to Meta-rule synthesis from crossed rewrite systems (Q5881274):
Displayed 2 items.