patch applied (generics): Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5
13 Feb
2008
13 Feb
'08
3:12 a.m.
Tue Feb 12 09:45:49 PST 2008 Alexey Rodriguez <alexey@cs.uu.nl> * Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5 M ./comparison/EMGM/CrushRight.lhs -20 +20 M ./comparison/LIGD/CrushRight.lhs -23 +24
6733
Age (days ago)
6733
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev