Nantilus
In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
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...
Enregistré dans:
| Auteurs principaux : | , , , , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8000 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
In Search of Elegance in the Theory and Practice of Computation Autre format: In Search of Elegance in the Theory and Practice of Computation |
| LEADER | 05333clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN17611677X | ||
| 003 | http://www.sudoc.fr/17611677X | ||
| 005 | 20241001155500.0 | ||
| 010 | |a 978-3-642-41660-6 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-41660-6 |2 DOI |
| 035 | |a (OCoLC)870330640 | ||
| 035 | |a Springer978-3-642-41660-6 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-41660-6 | ||
| 035 | |a Springer-11645-978-3-642-41660-6 | ||
| 100 | |a 20140205f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a In search of elegance in the theory and practice of computation |e essays dedicated to Peter Buneman |f edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8000 | |
| 330 | |a 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. | ||
| 359 | 1 | |a Models for Data-Centric Workflows -- Relational Databases and Bell's Theorem -- High-Level Rules for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User Trust and Judgments in a Curated Database with Explicit Provenance -- An Abstract, Reusable, and Extensible Programming Language Design Architecture -- A Discussion on Pricing Relational Data -- Tractable Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining Computation -- To Show or Not to Show in Workflow Provenance -- Provenance-Directed Chase and Backchase -- Data Quality Problems beyond Consistency and Deduplication -- Hitting Buneman Circles -- Looking at the World Thru Colored Glasses -- Static Analysis and Query Answering for Incomplete Data Trees with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information -- Provenance for Linked Data -- First-Order Provenance Games -- Querying an Integrated Complex-Object Dataflow Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism: Its Development and Applications -- A Calculus of Chemical Systems -- Schemaless Semistructured Data Revisited - Reinventing Peter Buneman's Deterministic Semistructured Data Model -- Provenance Propagation in Complex Queries -- Well-Defined NRC Queries Can Be Typed -- Nine Years with Peter Buneman -- Modal Logic for Preference Based on Reasons -- The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset -- Provenance in a Modifiable Data Set. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8000 | |
| 452 | | | |t In Search of Elegance in the Theory and Practice of Computation |b Texte imprimé |y 9783642416590 | |
| 452 | | | |t In Search of Elegance in the Theory and Practice of Computation |b Texte imprimé |y 9783642416613 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Database Management | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.74 |v 23 | ||
| 680 | |a QA76.9.D3 | ||
| 701 | 1 | |3 PPN261941674 |a Tannen |b Val |f 1953-.... |4 651 | |
| 701 | 1 | |a Wong |b Limsoon |4 651 | |
| 701 | 1 | |a Libkin |b Leonid |4 651 | |
| 701 | 1 | |a Fan |b Wenfei |4 651 | |
| 701 | 1 | |a Tan |b Wang-Chiew |4 651 | |
| 701 | 1 | |a Fourman |b Michael |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240314 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230412 |g AACR2 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-41660-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-41660-6 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JF7CDMZK-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:83086265X |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-41660-6 | |
| 915 | |5 441099901:83086265X |b SPRING13-01230 | ||
| 930 | |5 441099901:83086265X |b 441099901 |j g | ||
| 991 | |5 441099901:83086265X |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
| 997 | |a NUM |b SPRING13-01230 |d NUMpivo |e EM |s d | ||
| 998 | |a 979131 | ||