Search Sciweavers | Sciweavers

11

click to vote

MSCS
2007

85views more MSCS 2007»

Constructive analysis, types and exact real numbers

13 years 4 months ago

Download www.cs.ru.nl

Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...

claim paper

Read More »

15

click to vote

FORTE
1998

91views Formal Methods» more FORTE 1998»

An Algebraic Semantics for Message Sequence Chart Documents

13 years 6 months ago

Download wwwhome.cs.utwente.nl

Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike...

claim paper

Read More »

12

click to vote

MSCS
2007

71views more MSCS 2007»

Discrete-continuous and classical-quantum

13 years 4 months ago

Download www.math.polytechnique.fr

A discussion concerning the opposition between discretness and continuum in quantum mechanics is presented. In particular this duality is shown to be present not only in the early...

Thierry Paul

claim paper

Read More »

12

click to vote

MSCS
2007

94views more MSCS 2007»

On the status of perturbation theory

13 years 4 months ago

Download www.math.polytechnique.fr

Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of ﬁelds it has always played a central role that this litt...

Thierry Paul

claim paper

Read More »

15

click to vote

MSCS
2007

117views more MSCS 2007»

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

13 years 4 months ago

Download logica.uniroma3.it

We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists ﬁrst in addressing the two questions in the less ...

Michele Pagani

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers