Review of Set theory for computing: from decision procedures to declarative programming with sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti. Springer-Verlag 2001.
Robert J. IrwinPublished in: SIGACT News (2003)
Keyphrases
- decision procedures
- set theory
- springer verlag
- theorem proving
- modal logic
- first order logic
- automated reasoning
- fuzzy set theory
- reasoning problems
- partial order
- conjunctive queries
- rough sets
- rough set theory
- mathematical morphology
- horn clauses
- satisfiability problem
- probability theory
- fuzzy sets
- computer society
- theorem prover
- fixpoint
- search problems
- databases
- temporal logic
- special case