University of Minnesota Twin Cities PL Seminar
Home
Books
News
Mailing List
2024-03-13 Talk: Finding models through graph saturation
March 13, 2024
Paper:
Sebastiaan Joosten. Finding models through graph saturation. Journal of Logical and Algebraic Methods in Programming.
Speaker:
Sebastiaan Joosten
Location:
Keller 5-212
Time:
10:00-11:00 am