search for books and compare prices
Tables of Contents for Structures in Logic and Computer Science
Chapter/Section Title
Page #
Page Count
Model Theory
On the Work of Andrzej Ehrenfeucht in Model Theory
1
13
R. Vaught
Syntax vs. Semantics on Finite Structures
14
20
N. Alechina
Y. Gurevich
Expressive Power of Unary Counters
34
17
M. Benedikt
H.J. Keisler
Some Strange Quantifiers
51
15
W. Hodges
Games and Logic
Pebble Games in Model Theory
66
18
J.F. Lynch
An Interpretive Isomorphism Between Binary and Ternary Relations
84
22
D. Myers
Vagueness -- A Rough Set View
106
12
Z. Pawlak
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words
118
26
W. Thomas
Graphs and Algorithms
Monadic Second Order Logic and Node Relations on Graphs and Trees
144
18
R. Bolem
J. Engelfriet
Approximating the Volume of General Pfaffian Bodies
162
12
M. Karpinski
A. Macintyre
Complement-Equivalence Classes on Graphs
174
18
R. McConnell
Pattern Matching and Learning
On Compact Directed Acyclic Word Graphs
192
20
M. Crochemore
R. Verin
Metric Entropy and Minimax Risk in Classification
212
24
D. Haussler
M. Opper
Combinatorics of Words
Of Periods, Quasiperiods, Repetitions and Covers
236
13
A. Apostolico
D. Breslauer
Combinatorics of Standard Sturmian Words
249
19
A. de Luca
Algebra of Languages
Compactness of Systems of Equations on Completely Regular Semigroups
268
13
T. Harju
J. Karhumaki
M. Petrich
Decision Problems Concerning Algebraic Series with Noncommuting Variables
281
10
J. Honkala
Formal Language Theory
Associative Shuffle of Infinite Words
291
17
A. Mateescu
G.D. Mateescu
Constructing Sequential Bijections
308
14
C. Prieur
C. Choffrut
M. Latteux
Rewriting Rules for Synchronization Languages
322
17
K. Salomaa
S. Yu
Computational Molecular Biology
DNA Sequence Classification Using DAWGs
339
14
S. Levy
G.D. Stormo
DNA Computing: Distributed Splicing Systems
353
18
G. Paun
Author Index
371