Tokyo Inst. of Technology, Dept. of Math. and Comput. Sci., Tokyo, Japan;Tokyo Inst. of Technology, Dept. of Math. and Comput. Sci., Tokyo, Japan
Venue:
Theory of Computing Systems - Special Issue: Computation and Logic in the Real World; Guest Editors: S. Barry Cooper, Elvira Mayordomo and Andrea Sorbi