DMCA

hypotheses, conjectures and expectations. Rough set semantics and proof-theory (2013)

by Gianluigi Bellin
Venue:Advances in Natural Deduction
Citations:3 - 1 self