Skip to end of metadata
Go to start of metadata

Current Version - Under Revision

Rapid and efficient computation of whether a concept |is a| subtype descendant of another concept is essential for effective transformation of expressions and for testing subsumption between expressions .


Feedback