Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1985

Fundamentals of Computation Theory

Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985

Editors:

  1. Lothar Budach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 199)

Sections

Buy it now

Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (53 papers)

  1. Front Matter

    PDF

  3. A unifying theorem for algebraic semantics and dynamic logics

    • H. Andreka, I. Guessarian, I. Németi
    Pages 8-17

  4. On some "non-uniform" complexity measures

    • J. L. Balcázar, J. Díaz, J. Gabarró
    Pages 18-27

  5. Fast parallel vertex colouring

    • F. Bauernöppel, H. Jung
    Pages 28-35

  6. Muller automata and bi-infinite words

    • Danièle Beauquier
    Pages 36-43

  7. On formal languages, probabilities, paging and decoding algorithms

    • Joffroy Beauquier, Loÿs Thimonier
    Pages 44-52

  8. On the restriction of some NP-complete graph problems to permutation graphs

    • Andreas Brandstädt, Dieter Kratsch
    Pages 53-62

  10. Algorithms solving path systems

    • Bogdan S. Chlebus
    Pages 70-79

  13. On coordinated rewriting

    • A. Ehrenfeucht, H. J. Hoogeboom, G. Rozenberg
    Pages 100-111

  16. Logic programming and substitutions

    • Gudmund Frandsen
    Pages 146-158

  19. Free cost measures of trees

    • R. Kemp
    Pages 175-190

  20. Discrete extremal problems on covering

    • A. D. Korshunov
    Pages 191-207
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Fundamentals of Computation Theory

  • Book Subtitle: Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985

  • Editors: Lothar Budach

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0028784

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15689-5Published: 01 August 1985

  • eBook ISBN: 978-3-540-39636-9Published: 10 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 550

  • Topics: Computation by Abstract Devices

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation