Pages that link to "Item:Q4644478"
From MaRDI portal
The following pages link to Verification for ASP denotational semantics: a case study using the PVS theorem prover (Q4644478):
Displaying 1 item.
The following pages link to Verification for ASP denotational semantics: a case study using the PVS theorem prover (Q4644478):
Displaying 1 item.