ask others

Mathematical Structures in Computer Science, Volume 21

> Home > Journals > Mathematical Structures in Computer Science

Volume 21, Number 1, February 2011

Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Boudes11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Boudes11
Pierre Boudes:
Non-uniform (hyper/multi)coherence spaces. 1-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/KostanekW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/KostanekW11
Mateusz Kostanek, Pawel Waszkiewicz:
The formal ball model for -categories. 41-64
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Mimram11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Mimram11
Samuel Mimram:
The structure of first-order causality. 65-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/PerdryS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/PerdryS11
Hervé Perdry, Peter Schuster:
Noetherian orders. 111-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Lawson11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Lawson11
Jimmie Lawson:
Stably compact spaces. 125-169

Volume 21, Number 2, April 2011

Foreword

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/DoberkatK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/DoberkatK11
Ernst-Erich Doberkat, Alexander Kurz:
Foreword: special issue on coalgebraic logic. 171-174

Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/DoberkatS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/DoberkatS11
Ernst-Erich Doberkat, Christoph Schubert:
Coalgebraic logic over general measurable spaces - a survey. 175-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/SchroderP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/SchroderP11
Lutz Schröder, Dirk Pattinson:
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. 235-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/HasuoJ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/HasuoJ11
Ichiro Hasuo, Bart Jacobs:
Traces for coalgebraic components. 267-320
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/HansenK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/HansenK11
Helle Hvid Hansen, Bartek Klin:
Pointwise extensions of GSOS-defined operations. 321-361
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/VelebilK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/VelebilK11
Jiri Velebil, Alexander Kurz:
Equational presentations of functors and monads. 363-381
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BilkovaVV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BilkovaVV11
Marta Bílková, Jiri Velebil, Yde Venema:
On monotone modalities and adjointness. 383-416
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AdamekMV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AdamekMV11
Jirí Adámek, Stefan Milius, Jiri Velebil:
Elgot theories: a new perspective on the equational properties of iteration. 417-480
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AdamekT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AdamekT11
Jirí Adámek, Vera Trnková:
Initial algebras and terminal coalgebras in many-sorted sets. 481-509

Volume 21, Number 3, June 2011

Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Goubault-LarrecqK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Goubault-LarrecqK11
Jean Goubault-Larrecq, Klaus Keimel:
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. 511-561
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/GuglielmiS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/GuglielmiS11
Alessio Guglielmi, Lutz Straßburger:
A system of interaction and structure V: the exponentials and splitting. 563-584
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Crole11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Crole11
Roy L. Crole:
The representational adequacy of Hybrid. 585-646
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Lucyshyn-Wright11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Lucyshyn-Wright11
Rory B. B. Lucyshyn-Wright:
Domains occur among spaces as strict algebras among lax. 647-670

Volume 21, Number 4, August 2011

Editorial Preface

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Huet11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Huet11
Gérard P. Huet:
Preface. 671-677

Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AspertiA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AspertiA11
Andrea Asperti, Jeremy Avigad:
Zen and the art of formalisation. 679-682
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Pasca11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Pasca11
Ioana Pasca:
Formal proofs for theoretical properties of Newton's method. 683-714
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Harrison11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Harrison11
John Harrison:
A formal proof of Pick's Theorem. 715-729
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BertotGM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BertotGM11
Yves Bertot, Frédérique Guilhot, Assia Mahboubi:
A formal study of Bernstein coefficients and polynomials. 731-761
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/CoenT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/CoenT11
Claudio Sacerdoti Coen, Enrico Tassi:
Formalising Overlap Algebras in Matita. 763-793
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/SpittersW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/SpittersW11
Bas Spitters, Eelis van der Weegen:
Type classes for mathematics in type theory. 795-825
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BlanquiK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BlanquiK11
Frédéric Blanqui, Adam Koprowski:
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates. 827-859
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/OConnor11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/OConnor11
Russell O'Connor:
Classical mathematics for a constructive world. 861-882
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/IancuR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/IancuR11
Mihnea Iancu, Florian Rabe:
Formalising foundations of mathematics. 883-911
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AdamsL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AdamsL11
Robin Adams, Zhaohui Luo:
A pluralist approach to the formalisation of mathematics. 913-942

Volume 21, Number 5, October 2011

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/CaiF11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/CaiF11
Xiaojuan Cai, Yuxi Fu:
The λ-calculus in the π-calculus. 943-996
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/Gabbay11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/Gabbay11
Murdoch James Gabbay:
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables. 997-1033
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/EsikH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/EsikH11
Zoltán Ésik, Tamás Hajgató:
Dagger extension theorem. 1035-1066
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/KarazerisMV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/KarazerisMV11
Panagis Karazeris, Apostolos Matzaris, Jiri Velebil:
Final coalgebras in accessible categories. 1067-1108

Volume 21, Number 6, December 2011

Foreword

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/ClarkGM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/ClarkGM11
David Clark, Roberto Giacobazzi, Chunyan Mu:
Foreword: programming language interference and dependence. 1109-1110

Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/MatosC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/MatosC11
Ana Almeida Matos, Jan Cederquist:
Non-disclosure for distributed mobile code. 1111-1181
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/SmithA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/SmithA11
Geoffrey Smith, Rafael Alpízar:
Non-termination and secure information flow. 1183-1205
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/BartheDR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/BartheDR11
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk:
Secure information flow by self-composition. 1207-1252
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/MastroeniB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/MastroeniB11
Isabella Mastroeni, Anindya Banerjee:
Modelling declassification policies using abstract domain completeness. 1253-1299
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/CheneyAA11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/CheneyAA11
James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as dependency analysis. 1301-1337
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/DanicicHL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/DanicicHL11
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
On the computational complexity of dynamic slicing problems for program schemas. 1339-1362

maintained by

, founded at