Pages that link to "Item:Q763333"
From MaRDI portal
The following pages link to ExpTime tableau decision procedures for regular grammar logics with converse (Q763333):
Displayed 2 items.
The following pages link to ExpTime tableau decision procedures for regular grammar logics with converse (Q763333):
Displayed 2 items.