urbanc [Sun, 20 Feb 2011 07:33:54 +0000] rev 124
added definition of string prefix and string subtraction
urbanc [Sun, 20 Feb 2011 06:02:58 +0000] rev 123
polished everywhere...two cases still missing
urbanc [Sat, 19 Feb 2011 22:05:22 +0000] rev 122
my latest version (SEQ and STAR still missing)
urbanc [Sat, 19 Feb 2011 21:49:11 +0000] rev 121
added directory with the small files and numbers of lines
urbanc [Sat, 19 Feb 2011 20:15:59 +0000] rev 120
ALT case done
urbanc [Sat, 19 Feb 2011 19:27:33 +0000] rev 119
first two proofs in 2 direction
urbanc [Sat, 19 Feb 2011 17:10:46 +0000] rev 118
first proof
urbanc [Sat, 19 Feb 2011 12:01:16 +0000] rev 117
updated second direction
urbanc [Sat, 19 Feb 2011 10:23:51 +0000] rev 116
included comments by Chunhan
urbanc [Fri, 18 Feb 2011 15:06:06 +0000] rev 115
added comment from Larry
urbanc [Fri, 18 Feb 2011 14:26:23 +0000] rev 114
updated bib
urbanc [Fri, 18 Feb 2011 12:14:07 +0000] rev 113
polished everything
urbanc [Thu, 17 Feb 2011 21:30:26 +0000] rev 112
more on the conclusion
urbanc [Thu, 17 Feb 2011 13:25:29 +0000] rev 111
first ideas about conclusion
urbanc [Thu, 17 Feb 2011 11:42:16 +0000] rev 110
completed first direction
urbanc [Wed, 16 Feb 2011 12:25:53 +0000] rev 109
minor updated
urbanc [Wed, 16 Feb 2011 06:51:58 +0000] rev 108
filled details in one place
urbanc [Tue, 15 Feb 2011 14:17:31 +0000] rev 107
updated paper
urbanc [Tue, 15 Feb 2011 12:01:29 +0000] rev 106
updated paper
urbanc [Tue, 15 Feb 2011 10:37:56 +0000] rev 105
updated paper
urbanc [Tue, 15 Feb 2011 08:08:04 +0000] rev 104
updated paper
urbanc [Mon, 14 Feb 2011 23:10:44 +0000] rev 103
updated
urbanc [Mon, 14 Feb 2011 11:12:01 +0000] rev 102
added definition of DERIV and delta
urbanc [Mon, 14 Feb 2011 09:38:18 +0000] rev 101
updated paper
urbanc [Mon, 14 Feb 2011 07:42:16 +0000] rev 100
updated
zhang [Sun, 13 Feb 2011 10:36:53 +0000] rev 99
More into the second direction
urbanc [Fri, 11 Feb 2011 13:30:37 +0000] rev 98
included comments by Xingyuan
urbanc [Fri, 11 Feb 2011 12:13:35 +0000] rev 97
slightly streamlined the proof
urbanc [Thu, 10 Feb 2011 21:00:40 +0000] rev 96
simplified a bit the proof
urbanc [Thu, 10 Feb 2011 13:10:16 +0000] rev 95
more things