Re: Overlapping, undecidable, incoherent -- or worse?
20 May
2004
20 May
'04
9:46 p.m.
That's not the notion of priority I was referring to.
Any type of priority would not help. As I said then the instance heads are identical (PO a) and (PO a) - no kind of priority will help differenciate the, Keean.
20 May
20 May
9:51 p.m.
New subject: Overlapping, undecidable, incoherent -- or worse?
On Thu, May 20, 2004 at 05:16:45PM +0100, MR K P SCHUPKE wrote:
That's not the notion of priority I was referring to.
Any type of priority would not help. As I said then the instance heads are identical (PO a) and (PO a) - no kind of priority will help differenciate the,
I wasn't talking about _any_ notion of ordering of instance heads; I said that prioritising instance _declarations_ themselves, explicitly, by 'name' would suffice.
7902
Age (days ago)
7902
Last active (days ago)
1 comments
2 participants
participants (2)
-
Alex Ferguson -
MR K P SCHUPKE