- Dominique Larchey-Wendling, Didier Galmiche:
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding. Math. Struct. Comput. Sci. 19(3): 435-500 (2009) - Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang:
Principal filters definable by parameters in EbT. Math. Struct. Comput. Sci. 19(1): 153-167 (2009) - Rasmus Ejlers Møgelberg:
From parametric polymorphism to models of polymorphic FPC. Math. Struct. Comput. Sci. 19(4): 639-686 (2009) - Salvador Romaguera, Óscar Valero:
A quantitative computational model for complete partial metric spaces via formal balls. Math. Struct. Comput. Sci. 19(3): 541-563 (2009) - Matthias Schröder:
The sequential topology on ℕℕℕ is not regular. Math. Struct. Comput. Sci. 19(5): 943-957 (2009) - Yun Shang, Xian Lu, Ruqian Lu:
Automata theory based on unsharp quantum logic. Math. Struct. Comput. Sci. 19(4): 737-756 (2009) - Mariya Ivanova Soskova, Guohua Wu:
Cupping Delta20 enumeration degrees to 0 e'. Math. Struct. Comput. Sci. 19(1): 169-191 (2009) - Cong Tian, Zhenhua Duan:
Complexity of propositional projection temporal logic with star. Math. Struct. Comput. Sci. 19(1): 73-100 (2009) - Lionel Vaux:
The algebraic lambda calculus. Math. Struct. Comput. Sci. 19(5): 1029-1059 (2009) - Cristian Versari, Nadia Busi, Roberto Gorrieri:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - Klaus Weihrauch, Yongcheng Wu, Decheng Ding:
Absolutely non-computable predicates and functions in analysis. Math. Struct. Comput. Sci. 19(1): 59-71 (2009) - Editors' note: bibliometrics and the curators of orthodoxy. Math. Struct. Comput. Sci. 19(1): 1-4 (2009)
- Yatao Xu, Tanja Grubba:
On computably locally compact Hausdorff spaces. Math. Struct. Comput. Sci. 19(1): 101-117 (2009) - Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao:
A note on the feasibility of generalised universal composability. Math. Struct. Comput. Sci. 19(1): 193-205 (2009) - Gianluigi Zavattaro:
Nadia Busi's publications. Math. Struct. Comput. Sci. 19(6): 1279-1284 (2009)