Notes for AKT-091008-2/0:41:06: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
(No difference)
|
Latest revision as of 20:38, 20 October 2009
Checking that is well-defined under AS, IHX and STU relation:
AS and IHX is internal (does not touch the base line)hence satisfied by construction, STU becomes the relation