14 citations · 21 across the 24 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011
Drawing Sound Conclusions from Unsound Premises
Daniele Mundici, Claudia Picardi
Given sets of boolean formulas, a formula follows from the conjunction iff $…
math.GN2011
Measure theory in the geometry of
Daniele Mundici
The -dimensional affine group over the integers is the group of all affinities on which leave the lattice invariant. $\mathcal G_…