default search action
Mathematical Structures in Computer Science, Volume 22
Volume 22, Number 1, February 2012
- Razvan Diaconescu:
Interpolation for predefined types. 1-24 - Michael Johnson, Robert D. Rosebrugh, Richard J. Wood:
Lenses, fibrations and universal translations. 25-42 - Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
Bisimulations for non-deterministic labelled Markov processes. 43-68 - Silvio Valentini:
Relative formal topology: the binary positivity predicate comes first. 69-102 - Olov Wilander:
Constructing a small category of setoids. 103-121
Volume 22, Number 2, April 2012
- Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin:
Preface to special issue: EXPRESS, ICE and SOS 2009. 123-124
- Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack:
Characteristic formulae for fixed-point semantics: a general framework. 125-173 - Maciej Gazda, Wan J. Fokkink:
Modal logic and the approximation induction principle. 175-201 - Tomás Babiak, Vojtech Rehák, Jan Strejcek:
Almost linear Büchi automata. 203-235 - Luca Padovani:
On projecting processes into session types. 237-289 - Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir:
Proving the validity of equations in GSOS languages using rule-matching bisimilarity. 291-331 - Iain Phillips, Irek Ulidowski:
A hierarchy of reverse bisimulations on stable configuration structures. 333-372
Volume 22, Number 3, June 2012
- Angsheng Li, Pan Peng:
The small-community phenomenon in networks. 373-407 - Satoshi Matsuoka:
A coding theoretic study of MLL proof nets. 409-449 - Giulio Manzonetto:
What is a categorical model of the differential and the resource λ-calculi? 451-520 - Gonzalo Abal, Raul Donangelo, M. Forets, Renato Portugal:
Spatial quantum search in a triangular network. 521-531 - Aleksandar Perovic, Aleksandar Takaci, Srdan Skrbic:
Formalising PFSQL queries using ŁΠ fuzzy logic. 533-547
Volume 22, Number 4, August 2012
- Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen:
On quasi-interpretations, blind abstractions and implicit complexity. 549-580 - Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba:
Extending modal transition systems with structured labels. 581-617 - Masahito Hasegawa:
A quantum double construction in Rel. 618-650 - Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. 651-685 - Melita Hajdinjak, Gavin M. Bierman:
Extending relational algebra with similarities. 686-718 - Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud:
A duality between exceptions and states. 719-722
Volume 22, Number 5, October 2012
- Cristian S. Calude, S. Barry Cooper:
Introduction: computability of the physical. 723-728
- Yuri I. Manin:
Renormalisation and computation II: time cut-off and the Halting Problem. 729-751 - Kohtaro Tadaki:
A statistical mechanical interpretation of algorithmic information theory III: composite systems and fixed points. 752-770 - John C. Baez, Mike Stay:
Algorithmic thermodynamics. 771-787 - Gabriel Istrate, Madhav V. Marathe, S. S. Ravi:
Adversarial scheduling in discrete models of social dynamics. 788-815 - Rafael D. Sorkin:
Toward a fundamental theorem of quantal measure theory. 816-852 - Edwin J. Beggs, José Félix Costa, John V. Tucker:
The impact of models of a physical oracle on computational power. 853-879 - Giuseppe Longo:
Incomputability in Physics and Biology. 880-900
Volume 22, Number 6, December 2012
- Ralph Matthes, Sergei Soloviev:
Preface to the special issue: commutativity of algebraic diagrams. 901-903
- Kosta Dosen, Zoran Petric:
Shuffles and concatenations in the construction of graphs. 904-930 - Yves Guiraud, Philippe Malbos:
Coherence in monoidal track categories. 931-969 - Pierre Rannou:
Properties of co-operations: diagrammatic proofs. 970-986
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.