Amazon cover image
Image from Amazon.com

STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 182.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Description: 1 online resource (VII, 375 pages) : online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540391364
  • 3540391363
Subject(s): Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.9.A43
Other classification:
  • 54.10
Online resources:
Contents:
On the relative complexity of subproblems of intractable problems -- On Lovász' lattice reduction and the nearest lattice point problem -- Layouts with wires of balanced length -- On the single-operation worst-case time complexity of the disjoint set union problem -- Deterministic languages and non-generators -- Simulation of large networks on smaller networks -- Petri nets and algebraic calculi of processes -- Non-deterministic two-tape automata are more powerful than deterministic ones -- Construction of a family of factorizing codes -- On hotz groups and homomorphic images of sentential form languages -- Using domain algebras to prove the correctness of a compiler -- Sorting and recognition problems for ordered sets -- Tree automata and logic programs -- Structure of relations satisfying certain families of dependencies -- A single source shortest path algorithm for a planar distributed network -- An algorithm for two-layer channel routing -- ^
New algorithms for special cases of the hidden line elimination problem -- An algorithm to construct Minkowski-reduced lattice-bases -- Base Non Finie de Varietes -- Proximity on a grid -- An O(N1.5+?) expected time algorithm for canonization and isomorphism testing of trivalent graphs -- On the complexity of deadlock recovery -- On the planar monotone computation of threshold functions -- Planar circuits have short specifications -- Shortest paths on polyhedral surfaces -- Fairness in context Free grammars under canonical derivations -- Distributed termination in CSP symmetric solutions with minimal storage -- A dynamization of the All Pairs Least Cost Path Problem -- Boundedness, empty channel detection and synchronization for communicating finite state machines -- Deriving stack semantics congruent to standard denotational semantics -- Translating polygons in the plane -- Geometric containment is not reducible to Pareto dominance -- ^
The volume of the union of many spheres and point inclusion problems -- Combined simplicity and immunity in relativized NP -- Groups, codes and unambiguous automata -- Reduced memory space for multi-dimensional search trees (extended abstract).
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

On the relative complexity of subproblems of intractable problems -- On Lovász' lattice reduction and the nearest lattice point problem -- Layouts with wires of balanced length -- On the single-operation worst-case time complexity of the disjoint set union problem -- Deterministic languages and non-generators -- Simulation of large networks on smaller networks -- Petri nets and algebraic calculi of processes -- Non-deterministic two-tape automata are more powerful than deterministic ones -- Construction of a family of factorizing codes -- On hotz groups and homomorphic images of sentential form languages -- Using domain algebras to prove the correctness of a compiler -- Sorting and recognition problems for ordered sets -- Tree automata and logic programs -- Structure of relations satisfying certain families of dependencies -- A single source shortest path algorithm for a planar distributed network -- An algorithm for two-layer channel routing -- ^

New algorithms for special cases of the hidden line elimination problem -- An algorithm to construct Minkowski-reduced lattice-bases -- Base Non Finie de Varietes -- Proximity on a grid -- An O(N1.5+?) expected time algorithm for canonization and isomorphism testing of trivalent graphs -- On the complexity of deadlock recovery -- On the planar monotone computation of threshold functions -- Planar circuits have short specifications -- Shortest paths on polyhedral surfaces -- Fairness in context Free grammars under canonical derivations -- Distributed termination in CSP symmetric solutions with minimal storage -- A dynamization of the All Pairs Least Cost Path Problem -- Boundedness, empty channel detection and synchronization for communicating finite state machines -- Deriving stack semantics congruent to standard denotational semantics -- Translating polygons in the plane -- Geometric containment is not reducible to Pareto dominance -- ^

The volume of the union of many spheres and point inclusion problems -- Combined simplicity and immunity in relativized NP -- Groups, codes and unambiguous automata -- Reduced memory space for multi-dimensional search trees (extended abstract).

English.

Powered by Koha