Structures in logic and computer science. A selection of essays in honor of Andrzej Ehrenfeucht (65th birthday on August 8, 1997)
type: Item
instance of: scholarly article
title: Structures in logic and computer science. A selection of essays in honor of Andrzej Ehrenfeucht (65th birthday on August 8, 1997)
zbMATH Open document ID: 0868.00014
DOI: 10.1007/3-540-63246-8
published in: Lecture Notes in Computer Science
publication date: 1997-08-06T00:00:00Z
review text: 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]
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1044879
zbMATH Keywords: Logic
zbMATH Keywords: Computer science
Wikidata QID: Q90413909
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-63246-8
OpenAlex ID: W2499161108
DBLP publication ID: conf/birthday/1997ehrenfeucht
description: scientific article; zbMATH DE number 1044879