Research Catalog

Title

PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 / sponsored by ACM Special Interest Group for Automata and Computing Theory (SIGACT), ACM Special Interest Group on Management of Data (SIGMOD).

Author

Paris C. Kanellakis Memorial Workshop (2003 : San Diego, Calif.)

Publication

New York : Association for Computing Machinery, ©2003.

Items in the Library & Off-site

Details

Additional Authors

• Kanellakis, P. C. (Paris C.), 1953-
• Goldin, Dina Q.
• Brown University. Department of Computer Science RPB.
• ACM Special Interest Group for Automata and Computability Theory.
• Association for Computing Machinery. Special Interest Group on Management of Data.

Description

v, 110 pages : illustrations, portrait; 28 cm

Alternative Title

• PCK 50.
• Principles of computing & knowledge.
• Principles of computing and knowledge.

Subject

• Kanellakis, P. C. 1953-
• Computer science > Congresses
• Electronic data processing > Congresses
• Computer science
• Electronic data processing
• Theoretische Informatik
• Computer software > Development > Congresses
• Computer software > Congresses
• Database management > Congresses
• Object-oriented databases > Congresses

Genre/Form

• Conference papers and proceedings
• Kongress.
• San Diego (Calif., 2003)

Note

• P.C. Kanellakis was professor of computer science at Brown University from 1981 until his death in 1995.
• "Supported by: ... Brown University, Department of Computer Science".
• "Organizing Committee: Dina Q. Goldin ... [et al.]"--P. iii.
• "In memoriam, Paris C. Kanellakis": p. 1-8.

Bibliography (note)

• Includes bibliographical references and index.

System Details (note)

• Mode of access: World Wide Web.
• System requirements: Adobe Acrobat Reader for PDF files.

Contents

In memoriam: Paris C. Kanellakis / Serge Abiteboul [and others] -- Advances in DNA sequencing / Gene Myers -- The new problems / Christos H. Papadimitriou -- A call to regularity / Moshe Y. Vardi -- A retrospective on constraint databases / Peter Revesz -- Static reasoning about programs and queries / Todd Millstein -- Parallel digital halftoning by error-diffusion / Panagiotis Takis Metaxas -- Extending the constraint database framework / Dina Goldin, Ayferi Kutlu, Mingjun Song -- On the computational complexity of bisimulation, redux / Faron Moller, Scot A. Smolka -- Distributed cooperation and adversity: complexity trade-offs / Chryssis Georgiou, Alexander Russell, Alex A. Shvartsman -- From CTL to Datalog / Foto Afrati [and others] -- The side-chain positioning problem: a semidefinite programming formulation with new rounding schemes / Bernard Chazelle, Carl Kingsford, Mona Singh -- Comet in context / Laurent Michel, Pascal Van Hentenryck.

ISBN

• 1581136048
• 9781581136043

LCCN

2003273720

OCLC

• ocm53203733
• 53203733
• SCSB-9152497

Owning Institutions

Princeton University Library