Publications
Filters: Author is Daniel Gorın [Clear All Filters]
, “On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
