equal
deleted
inserted
replaced
114 Computer Science. Pages 217-232. |
114 Computer Science. Pages 217-232. |
115 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A> |
115 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A> |
116 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR> |
116 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR> |
117 |
117 |
118 (In the published version is a bogus sentence after the definition |
118 (In the published version is a bogus sentence after the definition |
119 of detached and also a typo in the definition of schs. Both is corrected |
119 of detached and also a typo in the definition of schs. Both are corrected |
120 in the version above.) |
120 in the version above.) |
121 </TD> |
121 </TD> |
122 </TR> |
122 </TR> |
123 |
123 |
124 |
124 |