Recent News
Computer science student chosen for Churchill Scholarship
January 11, 2023
Leaving a legacy: Computer science professor’s research honored with Test of Time Award
December 9, 2022
Virtual workshop on climate-driven extreme events planned Nov. 10
October 25, 2022
MathWorks gives $2 million to UNM to create endowed chair for Department of Computer Science
October 18, 2022
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.