Calude / Dinneen | Combinatorics, Computation, and Logic | Buch | 978-981-4021-56-2 | sack.de

Buch, Englisch, 380 Seiten, Book, Gewicht: 540 g

Reihe: Discrete Mathematics and Theoretical Computer Science

Calude / Dinneen

Combinatorics, Computation, and Logic

Proceedings of DMTCS'99 and CATS'99
1999
ISBN: 978-981-4021-56-2
Verlag: Springer Singapore

Proceedings of DMTCS'99 and CATS'99

Buch, Englisch, 380 Seiten, Book, Gewicht: 540 g

Reihe: Discrete Mathematics and Theoretical Computer Science

ISBN: 978-981-4021-56-2
Verlag: Springer Singapore

This volume contains the proceedings of the 2nd International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS9) and the 5th Australasian Theory Symposium (CATS9). Both were held as part of the Australasian Computer Science Week (ACSW9) in Auckland, New Zealand, January 1999. The topics presented included those on: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability and complexity; computational algebras, biology, geometry, logic, and number theory; concurrency, distributed systems, and parallel computing; constructive mathematics; discrete mathematics and combinatorial computing; formal semantics, specification, synthesis, and verification. These proceedings, comprised of 5 invited papers and 19 contributed refereed papers, thus provide the latest research in these fields.
Calude / Dinneen Combinatorics, Computation, and Logic jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Calude, C.S.
Dinneen, M.J.

Weitere Infos & Material

From the contents: Invited papers: Parametric complexity after (almost) ten years: review and open questions (R.G. Downey & M.R. Fellows). Hidden algebra for software engineering (J.A. Goguen). Crossroads in flatland (J. Pach). On negative informations in language theory (F. Mignosi & A. Restivo). Efficiency vs. security in the implementation of public-key cryptography (P.G. Walsh).- Somearchetypalcontributedpapers: Permuting mechanisms and closed classes of permutations (M.D. Atkinson & R. Beals). A stability theorem for recursive analysis (V. Brattka). Towards automatic bisimilarity checking in the spi calculus (A.S. Alkjaer et al.). The pagenumber of de Bruijn and Kautz digraphs (T. Hasunuma). Formal synthesis for pipeline design (H. Hinrichsen et al.). On the approximability of physical map problems using single molecule methods (L. Parida). Lower bounds on negation-limited inverters (S.C. Sung & K. Tanaka), and other papers.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.