Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings. 1st ed. 1990

種類:

電子ブック

責任表示:

edited by Jürgen Dassow, Jozef Kelemen

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990

著者名:

• Dassow, Jürgen.
• Kelemen, Jozef.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 464

ISBN:

9783540468691 [3540468692]    

注記:

Methods for generating deterministic fractals and image compression -- Optimum simulation of meshes by small hypercubes -- Seven hard problems in symbolic background knowledge acquisition -- Subsequential functions: Characterizations, minimization, examples -- Past proves more invariance properties but not pca's -- Complexity issues in discrete neurocomputing -- Two-way reading on words -- Proofs and reachability problem for ground rewrite systems -- Problems complete for ?L -- Constructive matching — Explanation based methodology for inductive theorem proving -- Characterizing complexity classes by higher type -- The distributed termination problem : Formal solution and correctness based on petri nets -- Greedy compression systems -- A DIV(N) depth Boolean circuit for smooth modular inverse -- Learning by conjugate gradients -- Monoids described by pushdown automata -- Optimal parallel 3-colouring algorithm for rooted trees and its application -- Hierarchies over the context-free languages -- A hierarchy of
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.

ローカル注記:

学内専用E-BOOKS (local access only)