Skip to main content
SpringerLink
Log in
Book cover

Aspects and Prospects of Theoretical Computer Science

6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. Jürgen Dassow
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jozef Kelemen
    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 464)

Included in the following conference series:

Conference proceedings info: IMYCS 1990.

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

Access this book

Log in via an institution
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Methods for generating deterministic fractals and image compression

    • Karel Culik II, Simant Dube
    Pages 1-28

  3. Optimum simulation of meshes by small hypercubes

    • Bin Cong, Zevi Miller, I. H. Sudborough
    Pages 29-46

  4. Seven hard problems in symbolic background knowledge acquisition

    • Yves Kodratoff
    Pages 47-61

  5. Subsequential functions: Characterizations, minimization, examples

    • Christophe Reutenauer
    Pages 62-79

  6. Past proves more invariance properties but not pca's

    • Ildikó Sain
    Pages 80-92

  7. Complexity issues in discrete neurocomputing

    • Juraj Wiedermann
    Pages 93-108

  8. Two-way reading on words

    • M. Anselmo
    Pages 109-119

  9. Proofs and reachability problem for ground rewrite systems

    • J. L. Coquidé, R. Gilleron
    Pages 120-129

  10. Problems complete for ⊕L

    • Carsten Damm
    Pages 130-137

  11. Constructive matching — Explanation based methodology for inductive theorem proving

    • Marta Fraňová
    Pages 138-147

  12. Characterizing complexity classes by higher type

    • Andreas Goerdt, Helmut Seidl
    Pages 148-158

  13. The distributed termination problem : Formal solution and correctness based on petri nets

    • Dominik Gomm, Rolf Walter
    Pages 159-168

  14. Greedy compression systems

    • M. Loebl
    Pages 169-176

  15. A DIV(N) depth Boolean circuit for smooth modular inverse

    • Michal Mňuk
    Pages 177-183

  16. Learning by conjugate gradients

    • Martin F. Møller
    Pages 184-194

  17. Monoids described by pushdown automata

    • Maryse Pelletier
    Pages 195-203

  18. Optimal parallel 3-colouring algorithm for rooted trees and its application

    • Peter Rajčáni
    Pages 204-213

  19. Hierarchies over the context-free languages

    • Klaus Reinhardt
    Pages 214-224

  20. A hierarchy of unary primitive recursive string-functions

    • Lila Santean
    Pages 225-233
Back to top

Other volumes

  1. Aspects and Prospects of Theoretical Computer Science

Keywords

About this book

This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.

Bibliographic Information

  • Book Title: Aspects and Prospects of Theoretical Computer Science

  • Book Subtitle: 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings

  • Editors: Jürgen Dassow, Jozef Kelemen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-53414-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1990

  • Softcover ISBN: 978-3-540-53414-3Published: 07 November 1990

  • eBook ISBN: 978-3-540-46869-1Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 299

  • Topics: Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation