pdf-format: |
|
@InProceedings{kopperman_et_al:DagSemProc.06341.1, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter}, title = {{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2007/900}, URN = {urn:nbn:de:0030-drops-9000}, doi = {10.4230/DagSemProc.06341.1}, annote = {Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics} }
Keywords: | Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital | |
Freie Schlagwörter (englisch): | topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\-topology, partial metrics | |
Seminar: | 06341 - Computational Structures for Modelling Space, Time and Causality | |
Issue date: | 2007 | |
Date of publication: | 26.02.2007 |