Dagstuhl Seminar Proceedings 06341

Computational Structures for Modelling Space, Time and Causality

R. Kopperman, P. Panangaden, M. B. Smyth, D. Spreen (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06341, 20.08. - 25.08.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Battenfeld, Ingo
  • Blair, Howard
  • Kopperman, Ralph
  • Kovár, Martin Maria
  • Panangaden, Prakash
  • Pfaltz, John L.
  • Porter, Timothy
  • Schröder, Matthias
  • Simpson, Alex
  • Smyth, Michael B.
  • Spreen, Dieter

  •   
    06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality
    Authors: Kopperman, Ralph ; Panangaden, Prakash ; Smyth, Michael B. ; Spreen, Dieter

    Abstract | Document (244 KB) | BibTeX

    A convenient category of domains
    Authors: Battenfeld, Ingo ; Schröder, Matthias ; Simpson, Alex

    Abstract | Document (310 KB) | BibTeX

    Closure and Causality
    Authors: Pfaltz, John L.

    Abstract | Document (198 KB) | BibTeX

    Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces
    Authors: Blair, Howard

    Abstract | Document (67 KB) | BibTeX

    Enriched categories and models for spaces of dipaths
    Authors: Porter, Timothy

    Abstract | Document (621 KB) | BibTeX

    Instant topological relationships hidden in the reality
    Authors: Kovár, Martin Maria

    Abstract | Document (111 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI