Recent News
UNM student creates game-changing in-seat food delivery service
April 1, 2025
Dissertation defense, April 7: Ala Jararweh
March 31, 2025
Dissertation defense, April 4: John Ringer
March 31, 2025
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
News Archives
Decision Procedures For Sets
September 1, 2005
- Date: Thursday, September 1, 2005
- Time: 11:00-12:15pm.
- Place: Woodward 149
Dr. Calogero Zarba
Department of Computer Science University of New Mexico
Suppose your best friend told you that
union(x, y) = x, for all sets x, y.
Would you believe her?
In this talk we present a method for automatically deciding if your friend told you the truth.
This method can be implemented in your favorite programming language. Moreover, when the number of involved sets is “small”, this method can be carried out on a blackboard using old-fashioned chalks.