Publications
Filters: Author is Daniel Goriın [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.
