Structures in logic and computer science. A selection of essays in honor of Andrzej Ehrenfeucht (65th birthday on August 8, 1997) (Q1362745)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Vaught, Robert}, On the work of Andrzej Ehrenfeucht in model theory, 1-13 [Zbl 0887.03026] \textit{Alechina, Natasha; Gurevich, Yuri}, Syntax vs. semantics on finite structures, 14-33 [Zbl 0884.03035] \textit{Benedikt, Michael; Keisler, H. Jerome}, Expressive power of unary counters, 34-50 [Zbl 0884.03033] \textit{Hodges, Wilfrid}, Some strange quantifiers, 51-65 [Zbl 0883.03022] \textit{Lynch, James F.}, Pebble games in model theory, 66-83 [Zbl 0883.03017] \textit{Myers, Dale}, An interpretive isomorphism between binary and ternary relations, 84-105 [Zbl 0881.03020] \textit{Thomas, Wolfgang}, Ehrenfeucht games, the composition method, and the monadic theory of ordinal words, 118-143 [Zbl 0888.03002] \textit{Bloem, Roderick; Engelfriet, Joost}, Monadic second order logic and node relations on graphs and trees, 144-161 [Zbl 0888.03025] \textit{Karpinski, Marek; Macintyre, Angus}, Approximating the volume of general Pfaffian bodies, 162-173 [Zbl 0884.68108] \textit{McConnell, Ross}, Complement-equivalence classes on graphs, 174-191 [Zbl 0884.68099] \textit{de Luca, Aldo}, Combinatorics of standard Sturmian words, 249-267 [Zbl 0884.68100] \textit{Harju, Tero; Karhumäki, Juhani; Petrich, Mario}, Compactness of systems of equations on completely regular semigroups, 268-280 [Zbl 0898.20039] \textit{Honkala, Juha}, Decision problems concerning algebraic series with noncommuting variables, 281-290 [Zbl 0889.03034] \textit{Mateescu, Alexandru; Mateescu, George Daniel}, Associative shuffle of infinite words, 291-307 [Zbl 0884.68071] \textit{Prieur, Christophe; Choffrut, Christian; Latteux, Michel}, Constructing sequential bijections, 308-321 [Zbl 0884.68088] \textit{Salomaa, Kai; Yu, Sheng}, Rewriting rules for synchronization languages, 322-338 [Zbl 0884.68072] \textit{Păun, Gheorghe}, DNA computing: Distributed splicing systems, 353-370 [Zbl 0884.68049]