TY - BOOK ID - 5450496 TI - Developments in language theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004 : proceedings AU - Calude, Cristian AU - Calude, Elena. AU - Dinneen, M. J. AU - Conference on Developments in Language Theory PY - 2004 VL - 3340 SN - 03029743 SN - 3540305505 PB - Berlin ; New York : Springer, DB - UniCat KW - Formal languages KW - Mathematics. KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Computer science KW - Mathematical Logic and Foundations. KW - Mathematical Logic and Formal Languages. KW - Logics and Meanings of Programs. KW - Computation by Abstract Devices. KW - Discrete Mathematics in Computer Science. 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 - Mathematics 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 - Math KW - Science KW - Logic, Symbolic and mathematical. KW - Computer science. KW - Logic design. KW - Computational complexity. 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 - Informatics KW - Computer science—Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5450496 AB - ER -