ENGLISH

Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

By Cristian S. Calude , Bruno Courcelle (auth.) , Elena Calude , Michael J. Dinneen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540240144, 9783540240143, 9783540305507
DOI
10.1007/b103739
LCC
QA267.3 .C63 2004
Open Library ID
OL3316920M
Language
english
Format
PDF
Filesize
9 MB (9204524 bytes)
Series
Lecture Notes in Computer Science 3340
Edition
1
Pages
436\449
Topic
Computers
Library
Kolxo3
Scanned
yes
Time added
2010-02-04 11:10:02
Mathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions. The main subjects are formal languages, automata, conventional and unconventional computation theory, and applications of automata theory. Among the topics addressed are grammars and acceptors for strings, graphs, and arrays; efficient text algorithms, combinatorial and algebraic properties of languages; decision problems; relations to complexity theory and logic; picture description and analysis; cryptography; concurrency; DNA computing; and quantum computing.

Similar books