Willkommen, schön sind Sie da!
Logo Ex Libris

STACS 85

  • Kartonierter Einband
  • 388 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
On the relative complexity of subproblems of intractable problems.- On Lov ' lattice reduction and the nearest lattice point prob... Weiterlesen
20%
49.50 CHF 39.60
Sie sparen CHF 9.90
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Klappentext

On the relative complexity of subproblems of intractable problems.- On Lov ' 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).



Inhalt
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).

Produktinformationen

Titel: STACS 85
Untertitel: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
Editor:
EAN: 9783540139126
ISBN: 3540139125
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 388
Gewicht: 587g
Größe: H235mm x B155mm x T20mm
Jahr: 1984
Untertitel: Englisch
Auflage: 1985

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 182
Sie sind hier.