Publications
Filters: Author is Rafael Grimson [Clear All Filters]
, “Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies”, Journal of Computer and System Sciences, vol. 80, p. 1102–1118, 2014.
, “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.
