Algebra, Meaning, and Computation
Author | : Kokichi Futatsugi |
Publisher | : Springer Science & Business Media |
Total Pages | : 679 |
Release | : 2006-06-22 |
ISBN-10 | : 9783540354628 |
ISBN-13 | : 354035462X |
Rating | : 4/5 (62X Downloads) |
Download or read book Algebra, Meaning, and Computation written by Kokichi Futatsugi and published by Springer Science & Business Media. This book was released on 2006-06-22 with total page 679 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.