TY - BOOK ID - 7983434 TI - Developments in Language Theory : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings AU - Ésik, Zoltán. AU - Fülöp, Zoltán. AU - Conference on Developments in Language Theory PY - 2003 SN - 3540404341 3540450076 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Formal languages KW - Algebra KW - Mathematics KW - Physical Sciences & Mathematics KW - Computer science. KW - Science. KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Computer science KW - Computer Science. KW - Mathematical Logic and Formal Languages. KW - Science, general. KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. KW - Discrete Mathematics in Computer Science. KW - Mathematics. KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Natural science KW - Science of science KW - Sciences KW - Informatics KW - Science KW - Logic design. KW - Computational complexity. KW - Science, Humanities and Social Sciences, multidisciplinary. KW - Complexity, Computational KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Computer science—Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:7983434 AB - This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. ER -