Pages that link to "Item:Q3964009"
From MaRDI portal
The following pages link to Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions (Q3964009):
Displayed 2 items.