Sciweavers

104
Voted
BIRTHDAY
2009
Springer
16 years 4 days ago
On Lazy Commutation
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
Nachum Dershowitz