Satisfying subtype inequalities in polynomial space

Alexandre Frey. Satisfying subtype inequalities in polynomial space. Theoretical Computer Science, 277(1-2):105-117, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.