[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: RE: [relax-ng] Closure
James only makes the claim that RELAX NG is closed under union. See http://www.thaiopensource.com/relaxng/design.html#section:6. I doubt we can claim it is closed under any other operation. Mike > -----Original Message----- > From: John Cowan [mailto:jcowan@reutershealth.com] > Sent: Thursday, May 23, 2002 12:42 PM > To: relax-ng@lists.oasis-open.org > Subject: [relax-ng] Closure > > > I have stuck my neck out and claimed that RNG is closed under > intersection. Is it? Also Tim Bray wants to know if RNG > is closed under set difference. My guess is 'no', but I'd like > to know for sure, or know that it isn't known. > > -- > John Cowan <jcowan@reutershealth.com> http://www.reutershealth.com > I amar prestar aen, han mathon ne nen, http://www.ccil.org/~cowan > han mathon ne chae, a han noston ne 'wilith. --Galadriel, _LOTR:FOTR_ > > ---------------------------------------------------------------- > To subscribe or unsubscribe from this elist use the subscription > manager: <http://lists.oasis-open.org/ob/adm.pl> >
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC