URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Sources
- found: His On simultaneous rigid E-unification, 1997:t.p. (Margus Veanes, Computing Science Dept., Uppsala Univ.)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1999-07-06: new
Alternate Formats