ENGLISH

Automata Implementation: First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers

By Derick Wood , Darrell Raymond (auth.) , Darrell Raymond , Sheng Yu (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540631747, 9783540631743
DOI
10.1007/3-540-63174-7
LCC
QA267 .I5787 1996
Open Library ID
OL676395M
Language
english
Format
DJVU
Filesize
2 MB (2242985 bytes)
Series
Lecture Notes in Computer Science 1260
Edition
1
Pages
192\197
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Mathematical Logic and Formal Languages; Logics an

Description

This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996. The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.

Similar books