Cover Image
Read Now

STACS 90 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Inform...

Full description

Bibliographic Details
Other Authors: Choffrut, Christian (Editor), Lengauer, Thomas (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1990, 1990
Edition:1st ed. 1990
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Computer Science
Algorithms
Formal Languages And Automata Theory
Machine Theory
Theory Of Computation
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • A note on the almost-everywhere hierarchy for nondeterministic time
  • The ring of k-regular sequences
  • Minimal pairs and complete problems
  • Hiding instances in multioracle queries
  • Counting classes: Thresholds, parity, mods, and fewness
  • Playing games of incomplete information
  • Caterpillars and context-free languages
  • Semi-commutations and algebraic languages
  • Towards a process semantics in the logic programming style
  • Parallel computations on strings and arrays
  • Minimum vertex hulls for polyhedral domains
  • Combinatorial rewriting on traces
  • Kolmogorov complexity, restricted nondeterminism and generalized spectra
  • Relation-sorted algebraic specifications with built-in coercers: Basic notions and results
  • Computational power of one-way multihead finite automata
  • Updating almost complete trees or one level makes all the difference
  • Sorting the sums (xi+yj) in O(n2) comparisons
  • Efficient checking of computations
  • Hard promise problems and nonuniform complexity
  • On the construction of abstract voronoi diagrams
  • Approximation of convex figures by pairs of rectangles
  • Nonblocking graphs: Greedy algorithms to compute disjoint paths
  • Infinite trees and automaton definable relations over ?-words
  • Enumerative Combinatorics and Computer Science
  • Failures semantics based on interval semiwords is a congruence for refinement
  • The analysis of local search problems and their heuristics

Similar Items