Anti-unification of Unordered Goals

Gonzague Yernaux, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

52 Downloads (Pure)

Search results