Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016

Silvio Ghilardi, Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016. [doi]

Conference: UNIF2016

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.