ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
“Backward” coinduction, Nash equilibrium and the rationality of escalation pp. 117-137(21) Authors: Lescanne, P.; Perrinel, M.
Instruction sequence processing operators pp. 139-172(34) Authors: Bergstra, J. A.; Middelburg, C. A.
Least common container of tree pattern queries and its applications pp. 173-202(30) Authors: Wang, J.; Yu, J. X.; Pang, C.; Liu, C.