skip to main content
Idioma:

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1261 ) e outros locais(Acessar)

  • Título:
    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
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.