Concepedia

Publication | Closed Access

Nominal unification

DOI

201

Citations

20

References

2004

Year

Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay
Theoretical Computer Science

References

YearCitations

Page 1