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...
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...
Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of fields it has always played a central role that this litt...
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...