skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search

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

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1261 ) and other locations(GetIt)

  • Title:
    Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
  • Author: Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa
  • Subjects: 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
  • Notes: Includes bibliographical references and index
  • Description: 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
  • Publisher: Berlin Springer New York
  • Creation Date: c1997
  • Format: x, 370 p. il. 24 cm.
  • Language: English
Links
Back to results list
Result  1

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far