Anti-unification of Unordered Goals

Gonzague Yernaux, Wim Vanhoof

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

53 Downloads (Pure)

Search results