HTML Export for Dagstuhl Seminar Proceedings, Volume 4351

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 4351, </h2>
<ul>
<li>
    <span class="authors">Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster</span>
    <span class="title">04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.1">10.4230/DagSemProc.04351.1</a>
</li>
<li>
    <span class="authors">Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster</span>
    <span class="title">04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.2">10.4230/DagSemProc.04351.2</a>
</li>
<li>
    <span class="authors">Reinhold Heckmann</span>
    <span class="title">A Cartesian Closed Extension of the Category of Locales</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.3">10.4230/DagSemProc.04351.3</a>
</li>
<li>
    <span class="authors">John L. Pfaltz</span>
    <span class="title">A Category of Discrete Closure Spaces</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.4">10.4230/DagSemProc.04351.4</a>
</li>
<li>
    <span class="authors">Keye Martin and Prakash Panangaden</span>
    <span class="title">A domain of spacetime intervals in general relativity</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.5">10.4230/DagSemProc.04351.5</a>
</li>
<li>
    <span class="authors">Jonathan Gratus and Timothy Porter</span>
    <span class="title">A geometry of information, I: Nerves, posets and differential forms</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.6">10.4230/DagSemProc.04351.6</a>
</li>
<li>
    <span class="authors">Jonathan Gratus and Timothy Porter</span>
    <span class="title">A geometry of information, II: Sorkin models, and biextensional collapses</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.7">10.4230/DagSemProc.04351.7</a>
</li>
<li>
    <span class="authors">Chris God, Achim Jung, Robin Knight, and Ralph Kopperman</span>
    <span class="title">Auxiliary relations and sandwich theorems</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.8">10.4230/DagSemProc.04351.8</a>
</li>
<li>
    <span class="authors">Douglas Bridges, Hajime Ishihara, Peter Schuster, and Luminita S. Vita</span>
    <span class="title">Compactness in apartness spaces?</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.9">10.4230/DagSemProc.04351.9</a>
</li>
<li>
    <span class="authors">Jamie Johnson and Tom Richmond</span>
    <span class="title">Continued Radicals</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.10">10.4230/DagSemProc.04351.10</a>
</li>
<li>
    <span class="authors">Ulrich Berger</span>
    <span class="title">Continuous Semantics for Termination Proofs</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.11">10.4230/DagSemProc.04351.11</a>
</li>
<li>
    <span class="authors">Martin Raussen</span>
    <span class="title">Deadlocks and Dihomotopy in Mutual Exclusion Models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.12">10.4230/DagSemProc.04351.12</a>
</li>
<li>
    <span class="authors">Lisbeth Fajstrup</span>
    <span class="title">Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.13">10.4230/DagSemProc.04351.13</a>
</li>
<li>
    <span class="authors">Samson Abramsky and Bob Coecke</span>
    <span class="title">Discrete classical vs. continuous quantum data in abstract quantum mechanics</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.14">10.4230/DagSemProc.04351.14</a>
</li>
<li>
    <span class="authors">Hideki Tsuiki</span>
    <span class="title">Dyadic Subbases and Representations of Topological Spaces</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.15">10.4230/DagSemProc.04351.15</a>
</li>
<li>
    <span class="authors">Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, and Neil F. Stewart</span>
    <span class="title">Integrating Topology and Geometry for Macro-Molecular Simulations</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.16">10.4230/DagSemProc.04351.16</a>
</li>
<li>
    <span class="authors">Martin Kovar</span>
    <span class="title">On Maximality of Compact Topologies</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.17">10.4230/DagSemProc.04351.17</a>
</li>
<li>
    <span class="authors">Hans-Peter A. Künzi and Dominic van der Zypen</span>
    <span class="title">The Construction of Finer Compact Topologies</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.18">10.4230/DagSemProc.04351.18</a>
</li>
<li>
    <span class="authors">Martin Kovar</span>
    <span class="title">The de Groot dual for general collections of sets</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.19">10.4230/DagSemProc.04351.19</a>
</li>
<li>
    <span class="authors">Martin Kovar</span>
    <span class="title">The Hofmann-Mislove Theorem for general posets</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.20">10.4230/DagSemProc.04351.20</a>
</li>
<li>
    <span class="authors">Martin Kovar</span>
    <span class="title">The Hofmann-Mislove Theorem for general topological structures</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.21">10.4230/DagSemProc.04351.21</a>
</li>
<li>
    <span class="authors">Ralph Kopperman, Steve Matthews, and Homeira Pajoohesh</span>
    <span class="title">What do partial metrics represent?</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.04351.22">10.4230/DagSemProc.04351.22</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode