![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mathematical Structures in Computer Science, Volume 17
Volume 17, Number 1, March 2007
- Bas Spitters
, Herman Geuvers, Milad Niqui, Freek Wiedijk:
Preface to the special issue: Constructive analysis, types and exact real numbers. 1 - Herman Geuvers, Milad Niqui, Bas Spitters
, Freek Wiedijk:
Constructive analysis, types and exact real numbers. 3-36 - Yves Bertot:
Affine functions and series with co-inductive real numbers. 37-63 - Branimir Lambov:
RealLib: An efficient implementation of exact real arithmetic. 81-98 - Assia Mahboubi:
Implementing the cylindrical algebraic decomposition within the Coq system. 99-127 - Russell O'Connor:
A monadic, functional implementation of real numbers. 129-159 - Matthias Schröder
, Alex Simpson:
Two preservation results for countable products of sequential spaces. 161-172
Volume 17, Number 2, April 2007
- Thierry Paul:
3-body, classical-quantum, discrete-continuous. 173-175 - Thierry Paul:
Discrete-continuous and classical-quantum. 177-183 - Annick Lesne
:
The discrete versus continuous controversy in physics. 185-223 - Javier Madroñero, Laurent Hilico, Benoît Grémaud, Dominique Delande, Andreas Buchleitner:
The driven three body Coulomb problem. 225-246 - Mathieu Hoyrup:
Dynamical systems: stability and simulability. 247-259 - Hubert Krivine, Annick Lesne
, Jacques Treiner:
Discrete-time and continuous-time modelling: some bridges and gaps. 261-276 - Thierry Paul:
On the status of perturbation theory. 277-288 - Francis Bailly, Giuseppe Longo:
Randomness and determinism in the interplay between the continuum and the discrete. 289-305 - Anne Preller, Joachim Lambek:
Free compact 2-categories. 309-340 - Michele Pagani:
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. 341-359
Volume 17, Number 3, June 2007
- Ian Mackie, Detlef Plump:
Theory and applications of term graph rewriting: introduction. 361-362 - Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs. 363-406 - Fabio Gadducci
:
Graph rewriting for the pi-calculus. 407-437 - Clemens Grabmayer:
A duality between proof systems for cyclic term graphs. 439-484 - Herman Geuvers, Iris Loeb:
Natural deduction via graphs: formal definition and computation rules. 485-526 - Damiano Mazza:
A denotational semantics for the symmetric interaction combinators. 527-562 - Joseph Gil, Yoav Zibin:
Randomised algorithms for isomorphisms of simple types. 565-584
Volume 17, Number 4, August 2007
- Maribel Fernández, Ian Mackie:
More developments in computational models: introduction. 585-586 - Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
:
Boxed ambients with communication interfaces. 587-645 - Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic description of generalised binary methods. 647-673 - Sonia Fagorzi, Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence. 675-751 - Florin Manea, Carlos Martín-Vide, Victor Mitrana:
On the size complexity of universal accepting hybrid networks of evolutionary processors. 753-771 - J. Robin B. Cockett, Stephen Lack
:
Restriction categories III: colimits, partial limits and extensivity. 775-817 - Samy Abbes
:
A projective formalism applied to topological and probabilistic event structures. 819-837
Volume 17, Number 5, October 2007
- Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. 839-839 - John Longley:
On the ubiquity of certain total type structures. 841-953 - Carsten Führmann, David J. Pym:
On categorical models of classical logic and the Geometry of Interaction. 957-1027 - José Luiz Fiadeiro, Antónia Lopes:
An algebraic semantics of event-based architectures. 1029-1073 - Manuel A. Martins
, Don Pigozzi:
Behavioural reasoning for conditional equations. 1075-1113
Volume 17, Number 6, December 2007
- Thierry Paul:
Quantum computation and quantum information. 1115-1115 - Rémy Mosseri, Pedro Ribeiro
:
Entanglement and Hilbert space geometry for systems with a few qubits. 1117-1132 - Jean-Gabriel Luque, Jean-Yves Thibon, Frédéric Toumazet:
Unitary invariants of qubit systems. 1133-1151 - Jean-Yves Girard:
Truth, modality and intersubjectivity. 1153-1167 - Viv Kendon
:
Decoherence in quantum walks - a review. 1169-1220 - Bertrand Georgeot:
Complexity of chaos and quantum computation. 1221-1263
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.