Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
| Title | Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Figueira, S, Goriın, D, Grimson, R |
| Journal | Journal of Computer and System Sciences |
| Volume | 80 |
| Pagination | 1102–1118 |
Work Package:
WP2
