Mathematical Structures in Computer Science, Volume 19

Volume 19, Number 1, February 2009

• Editors' note: bibliometrics and the curators of orthodoxy. 1-4
  Electronic Edition (link) BibTeX
• Jin-yi Cai, S. Barry Cooper, Angsheng Li:
  Preface to Special Issue: Theory and Applications of Models of Computation (TAMC). 5-7
  Electronic Edition (link) BibTeX
• Giordano Fusco, Eric Bach:
  Phase transition of multivariate polynomial systems. 9-23
  Electronic Edition (link) BibTeX
• George Barmpalias, Anthony Morphett:
  Non-cupping, measure and computably enumerable splittings. 25-43
  Electronic Edition (link) BibTeX
• Cristian S. Calude, Ludwig Staiger:
  On universal computably enumerable prefix codes. 45-57
  Electronic Edition (link) BibTeX
• Klaus Weihrauch, Yongcheng Wu, Decheng Ding:
  Absolutely non-computable predicates and functions in analysis. 59-71
  Electronic Edition (link) BibTeX
• Cong Tian, Zhenhua Duan:
  Complexity of propositional projection temporal logic with star. 73-100
  Electronic Edition (link) BibTeX
• Yatao Xu, Tanja Grubba:
  On computably locally compact Hausdorff spaces. 101-117
  Electronic Edition (link) BibTeX
• Iordanis Kerenidis:
  Quantum multiparty communication complexity and circuit lower bounds. 119-132
  Electronic Edition (link) BibTeX
• Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes:
  Unary automatic graphs: an algorithmic perspective. 133-152
  Electronic Edition (link) BibTeX
• Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang:
  Principal filters definable by parameters in E_bT. 153-167
  Electronic Edition (link) BibTeX
• Mariya Ivanova Soskova, Guohua Wu:
  Cupping Delta₂⁰ enumeration degrees to 0 _e'. 169-191
  Electronic Edition (link) BibTeX
• Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao:
  A note on the feasibility of generalised universal composability. 193-205
  Electronic Edition (link) BibTeX
• Yun Fan:
  The method of the Yu-Ding Theorem and its application. 207-215
  Electronic Edition (link) BibTeX

Volume 19, Number 2, April 2009

• Masahito Hasegawa:
  On traced monoidal closed categories. 217-244
  Electronic Edition (link) BibTeX
• Annegret Habel, Karl-Heinz Pennemann:
  Correctness of high-level transformation systems relative to nested conditions. 245-296
  Electronic Edition (link) BibTeX
• Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
  On a measurement-free quantum lambda calculus with classical control. 297-335
  Electronic Edition (link) BibTeX
• M. Ali-Akbari, B. Honari, M. Pourmahdian, M. M. Rezaii:
  The space of formal balls and models of quasi-metric spaces. 337-355
  Electronic Edition (link) BibTeX
• Robin Cockett, Ernie Manes:
  Boolean and classical restriction categories. 357-416
  Electronic Edition (link) BibTeX
• Benno van den Berg:
  Three extensional models of type theory. 417-434
  Electronic Edition (link) BibTeX