Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Lingas, Andrzej.
• Karlsson, Rolf.
• Carlsson, Svante.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 700

ISBN:

9783540478263 [3540478264]    

注記:

Program result checking: A new approach to making programs more reliable -- Dynamic interpolation search in o(log log n) time -- Searching among intervals and compact routing tables -- The approximation of maximum subgraph problems -- Polynomially bounded minimization problems which are hard to approximate -- Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover -- The complexity of approximating PSPACE-complete problems for hierarchical specifications -- Problems on pairs of trees and the four colour problem of planar graphs -- Constructing competitive tours from local information -- Treewidth and pathwidth of permutation graphs -- A theory of even functionals and their algorithmic applications -- Exact asymptotics of divide-and-conquer recurrences -- Optimal bounds for the change-making problem -- The complexity of N-body simulation -- A simple method for resolving degeneracies in Delaunay triangulations -- Fault-tolerance and complexity (E
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.

ローカル注記:

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