Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Alberto Policriti, Domenico Cantone, Eugenio Omodeo

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Alberto Policriti, Domenico Cantone, Eugenio Omodeo

427 pages • first pub 2001 (editions)

medium-paced
Powered by AI (Beta)
Loading...

Description

"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2...

Read more

Community Reviews

Loading...

Content Warnings

Loading...