Pages that link to "Item:Q1595252"
From MaRDI portal
The following pages link to A first-order language for expressing sharing and type properties of logic programs (Q1595252):
Displayed 1 item.
The following pages link to A first-order language for expressing sharing and type properties of logic programs (Q1595252):
Displayed 1 item.