Pages that link to "Item:Q1186430"
From MaRDI portal
The following pages link to A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430):
Displayed 3 items.
The following pages link to A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430):
Displayed 3 items.