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

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

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorith...

Full description

Saved in:

Bibliographic Details
Main Authors:	Cantone, Domenico (Author), Omodeo, Eugenio (Author), Policriti, Alberto (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Monographs in Computer Science, Springer eBook Collection.
Subjects:	Computers. Programming languages (Electronic computers). Computer science—Mathematics. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Computational Logic and Set Theory Applying Formalized Logic to Analysis
by: Schwartz, Jacob T., et al.
Published: (2011)

Transactions on Rough Sets XII
Published: (2010)

Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Published: (2010)

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
Published: (2008)

Computing in Horn Clause Theories
by: Padawitz, Peter
Published: (1988)

Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings
Published: (1991)

Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2008)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Published: (2010)

Category Theory and Computer Science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Published: (1995)

Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2012)

Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Published: (1995)

A Connotational Theory of Program Structure
by: Royer, James S.
Published: (1987)

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
Published: (2009)

Mathematical Foundations of Programming Semantics 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
Published: (1992)

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Published: (2009)

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Published: (2015)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Published: (2010)

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Published: (2016)

On Sets and Graphs Perspectives on Logic and Combinatorics
by: Omodeo, Eugenio G., et al.
Published: (2017)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Published: (2010)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Published: (2007)

Category Theory and Computer Science Manchester, UK, September 5-8, 1989. Proceedings
Published: (1989)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
Published: (2004)

Declarative Programming, Sasbachwalden 1991 PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
Published: (1992)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Published: (2010)

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Published: (2017)

Learn Java with Math Using Fun Projects and Games
by: Dai, Ron
Published: (2019)

The Joy of Sets Fundamentals of Contemporary Set Theory
by: Devlin, Keith
Published: (1993)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Published: (2002)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
Published: (2009)

Rewriting Techniques and Applications 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Published: (2004)

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Published: (2011)

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Published: (2009)

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Published: (2009)

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Published: (2009)

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Published: (2013)

Instruction Sequences for Computer Science
by: Bergstra, Jan A., et al.
Published: (2012)

Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Published: (1997)

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Published: (2017)