An Algebraic Calculus of Database Preferences (Englisch)
- Neue Suche nach: Moller, B.
- Neue Suche nach: Roocks, P.
- Neue Suche nach: Endres, M.
- Neue Suche nach: Moller, B.
- Neue Suche nach: Roocks, P.
- Neue Suche nach: Endres, M.
- Neue Suche nach: Gibbons, Jeremy
- Neue Suche nach: Nogueira, Pablo
In:
Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings /
7342
;
241-262
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:An Algebraic Calculus of Database Preferences
-
Beteiligte:Moller, B. ( Autor:in ) / Roocks, P. ( Autor:in ) / Endres, M. ( Autor:in ) / Gibbons, Jeremy / Nogueira, Pablo
-
Kongress:International conference; 11th, Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings / ; 2012 ; Madrid
-
Erschienen in:Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings / , 7342 ; 241-262LECTURE NOTES IN COMPUTER SCIENCE , 7342 ; 241-262
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:22 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Probabilistic Relational Hoare Logics for Computer-Aided Security ProofsBarthe, G. / Gregoire, B. / Beguelin, S.Z. et al. | 2012
- 7
-
The Laws of Programming Unify Process CalculiHoare, T. / van Staden, S. et al. | 2012
- 23
-
The Geometry of Synthesis: How to Make Hardware Out of Software (Abstract)Ghica, D.R. et al. | 2012
- 25
-
Scheduler-Independent DeclassificationLux, A. / Mantel, H. / Perner, M. et al. | 2012
- 48
-
Elementary Probability Theory in the Eindhoven StyleMorgan, C. et al. | 2012
- 74
-
Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-nMandel, L. / Plateau, F. et al. | 2012
- 102
-
Deriving Real-Time Action Systems Controllers from Multiscale System SpecificationsDongol, B. / Hayes, I.J. et al. | 2012
- 132
-
Calculating Graph Algorithms for Dominance and Shortest PathSergey, I. / Midtgaard, J. / Clarke, D. et al. | 2012
- 157
-
First-Past-the-Post GamesBackhouse, R. et al. | 2012
- 177
-
Reverse Exchange for Concurrency and Local ReasoningDang, H.-H. / Moller, B. et al. | 2012
- 198
-
Unifying Correctness StatementsGuttmann, W. et al. | 2012
- 220
-
Dependently Typed Programming Based on Automated Theorem ProvingArmstrong, A. / Foster, S. / Struth, G. et al. | 2012
- 241
-
An Algebraic Calculus of Database PreferencesMoller, B. / Roocks, P. / Endres, M. et al. | 2012
- 263
-
Modular Tree AutomataBahr, P. et al. | 2012
- 300
-
Constructing Applicative FunctorsPaterson, R. et al. | 2012
- 324
-
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old TrickHinze, R. et al. | 2012