skip to content
Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 Preview this item
ClosePreview this item
Checking...

Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009

Author: Symeōn Bozapalidēs; Geōrgios Rachōnēs
Publisher: Berlin ; Heidelberg ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5725.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Congresses
Electronic books
Conference papers and proceedings
Additional Physical Format: Print version:
CAI 2009 (2009 : Thessalonikē, Greece).
Algebraic informatics.
Berlin ; Heidelberg ; New York : Springer, ©2009
(OCoLC)444892264
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Symeōn Bozapalidēs; Geōrgios Rachōnēs
ISBN: 9783642035647 3642035647
OCLC Number: 458575162
Description: 1 online resource (x, 360 pages) : illustrations.
Contents: Invited Paper of Werner Kuich.- Cycle-Free Finite Automata in Partial Iterative Semirings.- Tutorials.- Picture Languages: From Wang Tiles to 2D Grammars.- Process Algebra: An Algebraic Theory of Concurrency.- Invited Papers.- On Several Proofs of the Recognizability Theorem.- Theories of Automatic Structures and Their Complexity.- The Graph Programming Language GP.- Canonical Reduction Systems in Symbolic Mathematics.- Contributed Papers.- Solving Norm Form Equations over Number Fields.- A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages.- Context-Free Categorical Grammars.- An Eilenberg Theorem for Pictures.- On the Complexity of the Syntax of Tree Languages.- On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes.- Computation of Pell Numbers of the Form pX 2.- Iteration Grove Theories with Applications.- Combinatorics of Finite Words and Suffix Automata.- Polynomial Operators on Classes of Regular Languages.- Self-dual Codes over Small Prime Fields from Combinatorial Designs.- A Backward and a Forward Simulation for Weighted Tree Automata.- Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited.- Polynomial Interpolation of the k-th Root of the Discrete Logarithm.- Single-Path Restarting Tree Automata.- Parallel Communicating Grammar Systems with Regular Control.
Series Title: Lecture notes in computer science, 5725.
Other Titles: CAI 2009
Responsibility: Symeon Bozapalidis, George Rahonis (eds.).

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/458575162> # Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "458575162" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165916#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906165916#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/906165916#Topic/algebra_data_processing> ; # Algebra--Data processing
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/906165916#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://dewey.info/class/512.00285/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/906165916#Topic/informatique> ; # Informatique
    schema:alternateName "CAI 2009" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/238794534> ; # Geōrgios Rachōnēs
    schema:contributor <http://viaf.org/viaf/28278835> ; # Symeōn Bozapalidēs
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/906165916#Meeting/cai_2009_2009_thessalonike_greece> ; # CAI 2009 (2009 : Thessalonikē, Greece)
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/906165916> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906165916#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/444892264> ;
    schema:name "Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009"@en ;
    schema:productID "458575162" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/458575162#PublicationEvent/berlin_heidelberg_new_york_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/906165916#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10326023> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-03564-7> ;
    schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5725> ;
    schema:workExample <http://worldcat.org/isbn/9783642035647> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/458575162> ;
    .


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/906165916#Meeting/cai_2009_2009_thessalonike_greece> # CAI 2009 (2009 : Thessalonikē, Greece)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/906165916#Place/thessalonike_greece> ; # Thessalonikē, Greece)
    schema:name "CAI 2009 (2009 : Thessalonikē, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165916#Place/thessalonike_greece> # Thessalonikē, Greece)
    a schema:Place ;
    schema:name "Thessalonikē, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165916#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/458575162> ; # Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/906165916#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies"@en ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
    schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/238794534> # Geōrgios Rachōnēs
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Rachōnēs" ;
    schema:givenName "Geōrgios" ;
    schema:name "Geōrgios Rachōnēs" ;
    .

<http://viaf.org/viaf/28278835> # Symeōn Bozapalidēs
    a schema:Person ;
    schema:familyName "Bozapalidēs" ;
    schema:givenName "Symeōn" ;
    schema:name "Symeōn Bozapalidēs" ;
    .

<http://worldcat.org/isbn/9783642035647>
    a schema:ProductModel ;
    schema:isbn "3642035647" ;
    schema:isbn "9783642035647" ;
    .

<http://www.worldcat.org/oclc/444892264>
    a schema:CreativeWork ;
    rdfs:label "Algebraic informatics." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/458575162> ; # Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
    .

<http://www.worldcat.org/title/-/oclc/458575162>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/458575162> ; # Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
    schema:dateModified "2016-05-28" ;
    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.