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

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

Eugenio Omodeo, Alberto Policriti, Domenico Cantone

427 pages • first pub 2001 (view 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...