TY - BOOK ID - 8429372 TI - In Search of Elegance in the Theory and Practice of Computation : Essays dedicated to Peter Buneman AU - Tannen, Val. AU - Wong, Limsoon. AU - Libkin, Leonid. AU - Fan, Wenfei. AU - Tan, Wang-Chiew. AU - Fourman, Michael. PY - 2013 SN - 3642416594 3642416608 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Engineering & Applied Sciences KW - Computer Science KW - Computer science. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Database management. KW - Computer Science. KW - Database Management. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Computer science KW - Computational complexity KW - Mathematics KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Compilers (Computer programs). KW - Compilers and Interpreters. KW - Computer Science Logic and Foundations of Programming. KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:8429372 AB - This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests. ER -