Inproceedings,

Massively Parallel Reasoning under the Well-Founded Semantics Using X10.

, , , , and .
ICTAI, page 162-169. IEEE Computer Society, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews