Re: [xml-dev] Decidability

Paul Prescod wrote,
> Paul Prescod wrote:
> > ... Which is to say that it IS likely
> > possible to put a constraint of the form "height*width*depth=area".
>
> Just realized in the shower that that isn't a linear equation.

_Now_ we're making progress ;-)

Cheers,


Miles