Skip to main content

Acta Informatica

Ausgabe 3/2012

Inhalt (3 Artikel)

Original Article

“Backward” coinduction, Nash equilibrium and the rationality of escalation

Pierre Lescanne, Matthieu Perrinel

Open Access Original Article

Instruction sequence processing operators

J. A. Bergstra, C. A. Middelburg

Original Article

Least common container of tree pattern queries and its applications

Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei Liu