Coverart for item
The Resource Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Symeon Bozapalidis, George Rahonis (eds.)

Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Symeon Bozapalidis, George Rahonis (eds.)

Label
Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
Title
Algebraic informatics
Title remainder
third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
Statement of responsibility
Symeon Bozapalidis, George Rahonis (eds.)
Title variation
CAI 2009
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
512.00285
Illustrations
illustrations
Index
index present
LC call number
QA155.7.E4
LC item number
C35 2009
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
CAI 2009
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 155.7.E4
http://library.link/vocab/relatedWorkOrContributorDate
1965-
http://library.link/vocab/relatedWorkOrContributorName
  • Bozapalidēs, Symeōn
  • Rachōnēs, Geōrgios
Series statement
Lecture notes in computer science
Series volume
5725
http://library.link/vocab/subjectName
  • Algebra
  • Formal methods (Computer science)
  • Computing Methodologies
  • Informatique
  • Algebra
  • Formal methods (Computer science)
Label
Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Symeon Bozapalidis, George Rahonis (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
458575162
Dimensions
unknown
Extent
1 online resource (x, 360 pages)
Form of item
online
Isbn
9783642035647
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-03564-7.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-03563-0
Specific material designation
remote
System control number
(OCoLC)458575162
Label
Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Symeon Bozapalidis, George Rahonis (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
458575162
Dimensions
unknown
Extent
1 online resource (x, 360 pages)
Form of item
online
Isbn
9783642035647
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-03564-7.
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-03563-0
Specific material designation
remote
System control number
(OCoLC)458575162

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...