Review of Set theory for computing
Robert J. Irwin · ACM SIGACT News · 2003
article 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. Share on Reviewer: Robert J. Irwin View Profile Authors Info & Claims ACM SIGACT NewsVolume 34Issue 3September 2003 pp 4–11https://doi.org/10.1145/945526.945530Online:01 September 2003Publication History 0citation235DownloadsMetricsTotal Citations0Total Downloads235Last 12 Months3Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access