On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies
| Title | On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Figueira, S, Gorın, D, Grimson, R |
| Conference Name | 18th Workshop on Logic, Language, Information and Computation |
Work Package:
WP2
