Index Catalog // Digital WPI

Start Over

Filtering by: Creator Xu, Yichi Collections Masters Theses Publisher Worcester Polytechnic Institute

1. A Coq Formalization of Unification Modulo Exclusive-Or

Creator:: Xu, Yichi
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2023-04-26
Resource Type:: Thesis
Degree:: MS