skip to content
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht Preview this item
ClosePreview this item
Checking...

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

Author: Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1261.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht's scientific work. The book is organized in topical sections on model  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Andrzej Ehrenfeucht; Andrzej Ehrenfeucht; Andrzej Ehrenfeucht
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jan Mycielski; Grzegorz Rozenberg; Arto Salomaa
ISBN: 3540632468 9783540632467
OCLC Number: 37211397
Description: x, 370 pages : illustrations ; 24 cm.
Contents: 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 of ordinal 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 classes on 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. Apostolico and 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 with noncommuting 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ăun.
Series Title: Lecture notes in computer science, 1261.
Responsibility: Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/37211397> # Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "37211397" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836977658#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/teoria_da_computacao> ; # Teoria da computacao
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Person/ehrenfeucht_andrzej> ; # Andrzej Ehrenfeucht
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/computerwiskunde> ; # Computerwiskunde
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/logica> ; # Logica
   schema:about <http://viaf.org/viaf/7669240> ; # Andrzej Ehrenfeucht
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/ciencia_da_computacao> ; # Ciência da computação
   schema:about <http://experiment.worldcat.org/entity/work/data/836977658#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/111316097> ; # Jan Mycielski
   schema:contributor <http://experiment.worldcat.org/entity/work/data/836977658#Person/rozenberg_grzegorz> ; # Grzegorz Rozenberg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/836977658#Person/salomaa_arto> ; # Arto Salomaa
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:description "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 of ordinal 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 classes on 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. Apostolico and 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 with noncommuting 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ăun."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/836977658> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836977658#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht"@en ;
   schema:productID "37211397" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37211397#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/836977658#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz06066097xcov.htm> ;
   schema:url <http://link.springer.com/10.1007/3-540-63246-8> ;
   schema:url <http://dx.doi.org/10.1007/3-540-63246-8> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1261> ;
   schema:workExample <http://worldcat.org/isbn/9783540632467> ;
   umbel:isLike <http://d-nb.info/950602620> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9754098> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37211397> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Person/ehrenfeucht_andrzej> # Andrzej Ehrenfeucht
    a schema:Person ;
   schema:familyName "Ehrenfeucht" ;
   schema:givenName "Andrzej" ;
   schema:name "Andrzej Ehrenfeucht" ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Person/rozenberg_grzegorz> # Grzegorz Rozenberg
    a schema:Person ;
   schema:familyName "Rozenberg" ;
   schema:givenName "Grzegorz" ;
   schema:name "Grzegorz Rozenberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Person/salomaa_arto> # Arto Salomaa
    a schema:Person ;
   schema:familyName "Salomaa" ;
   schema:givenName "Arto" ;
   schema:name "Arto Salomaa" ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37211397> ; # Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Topic/ciencia_da_computacao> # Ciência da computação
    a schema:Intangible ;
   schema:name "Ciência da computação"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Topic/informatique> # Informatique
    a schema:Intangible ;
   schema:name "Informatique"@en ;
   schema:name "Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836977658#Topic/teoria_da_computacao> # Teoria da computacao
    a schema:Intangible ;
   schema:name "Teoria da computacao"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/3-540-63246-8>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/111316097> # Jan Mycielski
    a schema:Person ;
   schema:birthDate "1932" ;
   schema:familyName "Mycielski" ;
   schema:givenName "Jan" ;
   schema:name "Jan Mycielski" ;
    .

<http://viaf.org/viaf/7669240> # Andrzej Ehrenfeucht
    a schema:Person ;
   schema:familyName "Ehrenfeucht" ;
   schema:givenName "Andrzej" ;
   schema:name "Andrzej Ehrenfeucht" ;
    .

<http://worldcat.org/isbn/9783540632467>
    a schema:ProductModel ;
   schema:isbn "3540632468" ;
   schema:isbn "9783540632467" ;
    .

<http://www.worldcat.org/title/-/oclc/37211397>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37211397> ; # Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
   schema:dateModified "2017-10-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.