RELATED BOOKS
Applications of Categories in Computer Science
Language: en
Pages: 339
Authors: London Mathematical Society. Symposium
Categories: Mathematics
Type: BOOK - Published: 1992-06-26 - Publisher: Cambridge University Press

Selected papers reflecting current research in categories and computer science.
Foundations of Software Science and Computational Structures
Language: en
Pages: 519
Authors: Vladimiro Sassone
Categories: Computers
Type: BOOK - Published: 2005-03-24 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on rule formats and bisimulation, probabilistic models, algebraic models, games and automata, language analysis, partial order models, logics, coalgebraic modal logics, and computational models.
Theory and Formal Methods 1993
Language: en
Pages: 329
Authors: Geoffrey Burn, Simon Gay, Mark Ryan
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.
Mathematical Foundations of Computer Science 1996
Language: en
Pages: 592
Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) 199, Wojciech Penczek, Andrzej Szalas
Categories: Computers
Type: BOOK - Published: 1996-08-07 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.
Axiomatic Domain Theory in Categories of Partial Maps
Language: en
Pages: 256
Authors: Marcelo P. Fiore
Categories: Computers
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press

First systematic account of axiomatic categorical domain theory and functional programming.
Implementation and Application of Functional Languages
Language: en
Pages: 217
Authors: Jurriaan Hage, Marco T. Morazán
Categories: Computers
Type: BOOK - Published: 2011-09-19 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Implementation and Applications of Functional Languages, IFL 2010, held in Alphen aan den Rijn, The Netherlands, in September 2010. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.
Handbook of Algebra
Language: en
Pages: 896
Authors: M. Hazewinkel
Categories: Mathematics
Type: BOOK - Published: 2000-04-06 - Publisher: Elsevier

Handbook of Algebra
Computer Science Logic
Language: en
Pages: 628
Authors: Julian Bradfield
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ́ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.
Higher Operads, Higher Categories
Language: en
Pages: 433
Authors: Tom Leinster
Categories: Mathematics
Type: BOOK - Published: 2004-07-22 - Publisher: Cambridge University Press

Publisher Description
Continuous Lattices and Domains
Language: en
Pages: 591
Authors: G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott
Categories: Mathematics
Type: BOOK - Published: 2003-03-06 - Publisher: Cambridge University Press

Table of contents
Algebraic Methodology and Software Technology
Language: en
Pages: 594
Authors: Michael Johnson, Michael K. Johnson
Categories: Computers
Type: BOOK - Published: 1997-12 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
Automata, Languages and Programming
Language: en
Pages: 612
Authors: Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener
Categories: Computers
Type: BOOK - Published: 2006-06-30 - Publisher: Springer Science & Business Media

The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited papers and 2 additional conference tracks with 24 papers each, focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation.