Skip to main content
SpringerLink
Log in
Book cover

Relational and Algebraic Methods in Computer Science

12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Harrie Swart

    1. Faculty of Philosophy, Tilburg University, Tilburg, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6663)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: RAMICS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. On Probabilistic Kleene Algebras, Automata and Simulations

    • Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
    Pages 264-279

  2. Ampersand

    • Gerard Michels, Sebastiaan Joosten, Jaap van der Woude, Stef Joosten
    Pages 280-293

  3. Programming from Galois Connections

    • Shin-Cheng Mu, José Nuno Oliveira
    Pages 294-313

  4. Constructions around Partialities

    • Gunther Schmidt
    Pages 314-330

  5. Splitting Atoms in Relational Algebras

    • Prathap Siddavaatam, Michael Winter
    Pages 331-346

  6. Relational Heterogeneity Relaxed by Subtyping

    • Jaap van der Woude, Stef Joosten
    Pages 347-361

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

About this book

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks.

Editors and Affiliations

  • Faculty of Philosophy, Tilburg University, Tilburg, The Netherlands

    Harrie Swart

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation