Volume 21, Number 1, February 2011 Paper
export record as
dblp key:
export record as
dblp key:
journals/mscs/KostanekW11 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 21, Number 2, April 2011 Foreword
export record as
dblp key:
journals/mscs/DoberkatK11 Paper
export record as
dblp key:
journals/mscs/DoberkatS11 export record as
dblp key:
journals/mscs/SchroderP11 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mscs/BilkovaVV11 export record as
dblp key:
export record as
dblp key:
Volume 21, Number 3, June 2011 Paper
export record as
dblp key:
journals/mscs/Goubault-LarrecqK11 export record as
dblp key:
journals/mscs/GuglielmiS11 export record as
dblp key:
Roy L. Crole :
The representational adequacy of Hybrid.
585-646
export record as
dblp key:
journals/mscs/Lucyshyn-Wright11
Volume 21, Number 4, August 2011 Editorial Preface
export record as
dblp key:
Paper
export record as
dblp key:
export record as
dblp key:
Ioana Pasca :
Formal proofs for theoretical properties of Newton's method.
683-714
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mscs/SpittersW11 export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 21, Number 5, October 2011
export record as
dblp key:
export record as
dblp key:
Murdoch James Gabbay :
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.
997-1033
export record as
dblp key:
export record as
dblp key:
journals/mscs/KarazerisMV11
Volume 21, Number 6, December 2011 Foreword
export record as
dblp key:
Paper
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mscs/MastroeniB11 export record as
dblp key:
export record as
dblp key:
journals/mscs/DanicicHL11
data released under the ODC-BY 1.0 license
