Mathematical Structures in Computer Science, Volume 21
Volume 21, Number 1, February 2011 Paper
share record
short URL:
https://dblp.org/rec/journals/mscs/Boudes11 export record
dblp key:
journals/mscs/KostanekW11 share record
short URL:
https://dblp.org/rec/journals/mscs/KostanekW11 share record
short URL:
https://dblp.org/rec/journals/mscs/Mimram11 share record
short URL:
https://dblp.org/rec/journals/mscs/PerdryS11 share record
short URL:
https://dblp.org/rec/journals/mscs/Lawson11
Volume 21, Number 2, April 2011 Foreword
export record
dblp key:
journals/mscs/DoberkatK11 share record
short URL:
https://dblp.org/rec/journals/mscs/DoberkatK11
Paper
export record
dblp key:
journals/mscs/DoberkatS11 share record
short URL:
https://dblp.org/rec/journals/mscs/DoberkatS11 export record
dblp key:
journals/mscs/SchroderP11 share record
short URL:
https://dblp.org/rec/journals/mscs/SchroderP11 share record
short URL:
https://dblp.org/rec/journals/mscs/HasuoJ11 share record
short URL:
https://dblp.org/rec/journals/mscs/HansenK11 share record
short URL:
https://dblp.org/rec/journals/mscs/VelebilK11 export record
dblp key:
journals/mscs/BilkovaVV11 share record
short URL:
https://dblp.org/rec/journals/mscs/BilkovaVV11 share record
short URL:
https://dblp.org/rec/journals/mscs/AdamekMV11 share record
short URL:
https://dblp.org/rec/journals/mscs/AdamekT11
Volume 21, Number 3, June 2011 Paper
export record
dblp key:
journals/mscs/Goubault-LarrecqK11 share record
short URL:
https://dblp.org/rec/journals/mscs/Goubault-LarrecqK11 export record
dblp key:
journals/mscs/GuglielmiS11 share record
short URL:
https://dblp.org/rec/journals/mscs/GuglielmiS11 share record
short URL:
https://dblp.org/rec/journals/mscs/Crole11 Roy L. Crole :
The representational adequacy of Hybrid. 585-646 export record
dblp key:
journals/mscs/Lucyshyn-Wright11 share record
short URL:
https://dblp.org/rec/journals/mscs/Lucyshyn-Wright11
Volume 21, Number 4, August 2011 Editorial Preface
share record
short URL:
https://dblp.org/rec/journals/mscs/Huet11
Paper
share record
short URL:
https://dblp.org/rec/journals/mscs/AspertiA11 share record
short URL:
https://dblp.org/rec/journals/mscs/Pasca11 Ioana Pasca :
Formal proofs for theoretical properties of Newton's method. 683-714 share record
short URL:
https://dblp.org/rec/journals/mscs/Harrison11 share record
short URL:
https://dblp.org/rec/journals/mscs/BertotGM11 share record
short URL:
https://dblp.org/rec/journals/mscs/CoenT11 export record
dblp key:
journals/mscs/SpittersW11 share record
short URL:
https://dblp.org/rec/journals/mscs/SpittersW11 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 share record
short URL:
https://dblp.org/rec/journals/mscs/OConnor11 share record
short URL:
https://dblp.org/rec/journals/mscs/IancuR11 share record
short URL:
https://dblp.org/rec/journals/mscs/AdamsL11
Volume 21, Number 5, October 2011
share record
short URL:
https://dblp.org/rec/journals/mscs/CaiF11 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 share record
short URL:
https://dblp.org/rec/journals/mscs/EsikH11 export record
dblp key:
journals/mscs/KarazerisMV11 share record
short URL:
https://dblp.org/rec/journals/mscs/KarazerisMV11
Volume 21, Number 6, December 2011 Foreword
share record
short URL:
https://dblp.org/rec/journals/mscs/ClarkGM11
Paper
share record
short URL:
https://dblp.org/rec/journals/mscs/MatosC11 share record
short URL:
https://dblp.org/rec/journals/mscs/SmithA11 share record
short URL:
https://dblp.org/rec/journals/mscs/BartheDR11 export record
dblp key:
journals/mscs/MastroeniB11 share record
short URL:
https://dblp.org/rec/journals/mscs/MastroeniB11 share record
short URL:
https://dblp.org/rec/journals/mscs/CheneyAA11 export record
dblp key:
journals/mscs/DanicicHL11 share record
short URL:
https://dblp.org/rec/journals/mscs/DanicicHL11
maintained by
, founded at