Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Bohrer, Rose Contributor Sun, Xiaoyan Sherry Unit (Department) Computer Science

Keyword:: Bug Detection, Staged Linear Logic, Logic Programming, Linear Logic Programming, Proof Search, and Python
Creator:: Eskandari Miandoab, Kaveh
Advisor:: Bohrer, Rose
Publisher:: Worcester Polytechnic Institute
Date Created:: 2024-04-25
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Limit your search