Algebraic Foundations in Computer Science

Algebraic Foundations in Computer Science
Author :
Publisher : Springer
Total Pages : 372
Release :
ISBN-10 : 9783642248979
ISBN-13 : 3642248977
Rating : 4/5 (977 Downloads)

Book Synopsis Algebraic Foundations in Computer Science by : Werner Kuich

Download or read book Algebraic Foundations in Computer Science written by Werner Kuich and published by Springer. This book was released on 2011-11-06 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on the subjects taught by Symeon, namely: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages. Since 1982 -- at the Aristotle University of Thessaloniki -- Symeon's main interests have been closely connected with the algebraic foundations in computer science. In particular, he contributed to the development of the theory of tree languages and series, the axiomatization of graphs, picture theory, and fuzzy languages. The volume contains 15 invited papers, written by colleagues, friends, and students of Symeon. All of the papers were carefully refereed and are connected to his research topics. Most of the papers were presented at the Workshop on Algebraic Foundations in Computer Science, held in Thessaloniki, Greece, during November 7--8, 2011.


Algebraic Foundations in Computer Science Related Books

Algebraic Foundations in Computer Science
Language: en
Pages: 372
Authors: Werner Kuich
Categories: Computers
Type: BOOK - Published: 2011-11-06 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on th
Algebraic Foundations in Computer Science
Language: en
Pages: 372
Authors: Werner Kuich
Categories: Computers
Type: BOOK - Published: 2011-10-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This collection of 15 papers honors the career of Symeon Bozapalidis. The focus is on his teaching subjects: algebra, linear algebra, mathematical logic, number
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Mathematics for Computer Science
Language: en
Pages: 1010
Authors: Eric Lehman
Categories:
Type: BOOK - Published: 2017-06-05 - Publisher:

DOWNLOAD EBOOK

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable m
Lessons in Enumerative Combinatorics
Language: en
Pages: 489
Authors: Ömer Eğecioğlu
Categories: Mathematics
Type: BOOK - Published: 2021-05-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections. By starting with elementary operations on words and