Structures in logic and computer science
a
selection of essays in honor of
A
. Ehrenfeucht
ABCD PBi
Structures in logic and computer science
a
selection of essays in honor of
A
. Ehrenfeucht
Autor:
Jan Mycielski 1932-
;
Grzegorz Rozenberg
;
Arto Salomaa
Assuntos:
Ehrenfeucht, Andrzej
;
Logic, Symbolic and mathematical
;
Computer science
;
LÓGICA MATEMÁTICA
;
SEMÂNTICA DE PROGRAMAÇÃO
;
TEORIA DA COMPUTAÇÃO
;
CIÊNCIA DA COMPUTAÇÃO
;
COLETÂNEA
Notas:
Includes bibliographical references and index
Descrição:
Conteúdo: On the work of Andrzej Ehrenfeucht in model theory / R. Vaught -- Syntax vs. semantics on finite structures / N. Alechina and Y. Gurevich -- Expressive power of unary counters / M. Benedikt and H.J. Keisler -- Some strange quantifiers / W.Hodges-- Pebble games in model theory / J.F. Lynch -- Am interpretive isomorphism between binary and ternary relations / D. Myers -- Vagueness :
a
rough set view / Z. Pawlak -- Ehrenfeucht games, the composition method, and the monadic theory ofordinal words / W. Thomas -- Monadic second order logic and node relations on graphs and trees / R. Bloem and J. Engelfriet -- Approximating the volume of general Pfaffian bodies / M. Karpinski and
A
. Macintyre -- Complement-equivalence classeson graphs / R. McConnell -- On compact directed acyclic word graphs / M. Crochemore and R. Vérin -- Metric entropy and minimax risk in classification / D. Haussler and M. Opper --Of periods, quasiperiods, repetitions and covers /
A
. Apostolicoand D. Breslauer -- Combinatorics of standard Sturmian words / A. de Luca -- Compactness of systems of equations on completely regular semigroups / T. Harju, J. Karhumäki and M. Petrich -- Decision problems concerning algebraic series withnoncommuting variables / J. Honkala -- Associative shuffle of infinite words / A. Mateescu and G.D. Mateescu -- Constructing sequential bijections / C. Prieur, C. Choffrut and M. Latteux -- Rewriting rules for synchronization languages / K.Salomaa and S. Yu --
DNA sequence classification using DAWGs / S.
Levy
and G.D. Stormo -- DNA computing : distributed splicing systems / G. Pæaun
Títulos relacionados:
Série:Lecture notes in computer science 1261
Editor:
Berlin Springer New York
Data de criação/publicação:
c1997
Formato:
x, 370 p. il. 24 cm.
Idioma:
Inglês
Disponível na Biblioteca:
ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1261 )
IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1261 )
IME - Inst. Matemática e Estatística (S L471c v.1261 )