Phokion G. Kolaitis – författare
Visar alla böcker från författaren Phokion G. Kolaitis. Handla med fri frakt och snabb leverans.
7 produkter
Descriptive Complexity and Finite Models
Av Neil Immerman, Phokion G. Kolaitis
Inbunden, 1997
978 kr
Lägg i varukorg
'We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and making discoveries that will help explain some of the many mysteries of computation' - from the Preface. Finite model theory can be succinctly described as …
Finite Model Theory and Its Applications
Av Erich Grädel, Phokion G. Kolaitis m. fl.
Inbunden, 2007
1018 kr
Lägg i varukorg
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Database Theory - ICDT '97
6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings
Av Foto N. Afrati, Phokion G. Kolaitis
Häftad, 1996
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997.The 29 revised full papers presented in the volume were carefully selected from a total of 118 submissions. Also included are invited papers by …
Finite Model Theory and Its Applications
Av Scott Weinstein, Yde Venema m. fl.
E-bok, 2007
1141 kr
Lägg i varukorg
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Complexity of Constraints
An Overview of Current Research Themes
Av Nadia Creignou, Phokion G. Kolaitis m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the …
Complexity of Constraints
An Overview of Current Research Themes
Av Heribert Vollmer, Phokion G. Kolaitis m. fl.
E-bok, 2008
734 kr
Lägg i varukorg
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the …
Finite Model Theory and Its Applications
Av Erich Grädel, Phokion G. Kolaitis m. fl.
Häftad, 2014
847 kr
Lägg i varukorg
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our …
