| Original language | English |
|---|---|
| State | Published - 2013 |
Towards Answer Set Programming with Sorts
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Research output: Contribution to conference › Paper
Evgenii Balai, Michael Gelfond, Yuanlin Zhang
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| State | Published - 2013 |