Sign in
Structures in Logic and Computer Science
1997
1997
1997
Keyphrases
Publications
1997
Robert L. Vaught
On the Work of Andrzej Ehrenfeucht in Model Theory.
Structures in Logic and Computer Science
(1997)
Christophe Prieur
,
Christian Choffrut
,
Michel Latteux
Constructing Sequential Bijections.
Structures in Logic and Computer Science
(1997)
Wilfried Hodges
Some Strange Quantifiers.
Structures in Logic and Computer Science
(1997)
Gheorghe Paun
DNA Computing: Distributed Splicing Systems.
Structures in Logic and Computer Science
(1997)
Dale Myers
An Interpretive Isomorphism Between Binary and Ternary Relations.
Structures in Logic and Computer Science
(1997)
Zdzislaw Pawlak
Vagueness - a Rough Set View.
Structures in Logic and Computer Science
(1997)
Roderick Bloem
,
Joost Engelfriet
Monadic Second Order Logic and Node Relations on Graphs and Trees.
Structures in Logic and Computer Science
(1997)
Michael Benedikt
,
H. Jerome Keisler
Expressive Power of Unary Counters.
Structures in Logic and Computer Science
(1997)
Juha Honkala
Decision Problems Concerning Algebraic Series with Noncommuting Variables.
Structures in Logic and Computer Science
(1997)
Ross M. McConnell
Complement-Equivalence Classes on Graphs.
Structures in Logic and Computer Science
(1997)
Samuel Levy
,
Gary D. Stormo
DNA Sequence Classification Using DAWGs.
Structures in Logic and Computer Science
(1997)
David Haussler
,
Manfred Opper
Metric Entropy and Minimax Risk in Classification.
Structures in Logic and Computer Science
(1997)
Aldo de Luca
Combinatories of Standard Sturmian Words.
Structures in Logic and Computer Science
(1997)
Marek Karpinski
,
Angus Macintyre
Approximating the Volume of General Pfaffian Bodies.
Structures in Logic and Computer Science
(1997)
Maxime Crochemore
,
Renaud Vérin
On Compact Directed Acyclic Word Graphs.
Structures in Logic and Computer Science
(1997)
Alexandru Mateescu
,
George Daniel Mateescu
Associative Shuffle of Infinite Words.
Structures in Logic and Computer Science
(1997)
Natasha Alechina
,
Yuri Gurevich
Syntax vs. Semantics on Finite Structures.
Structures in Logic and Computer Science
(1997)
Wolfgang Thomas
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words.
Structures in Logic and Computer Science
(1997)
James F. Lynch
Pebble Games in Model Theory.
Structures in Logic and Computer Science
(1997)
Tero Harju
,
Juhani Karhumäki
,
Mario Petrich
Compactness of Systems of Equations on Completely Regular Semigroups.
Structures in Logic and Computer Science
(1997)
Kai Salomaa
,
Sheng Yu
Rewriting Rules for Synchronization Languages.
Structures in Logic and Computer Science
(1997)
Alberto Apostolico
,
Dany Breslauer
Of Periods, Quasiperiods, Repetitions and Covers.
Structures in Logic and Computer Science
(1997)
volume 1261, 1997
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Structures in Logic and Computer Science
1261 (1997)