STACS 85
2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
37.44 €
Produktdetails
Produktinformationen zu „STACS 85 “
Klappentext zu „STACS 85 “
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.-
... mehr
Groups, codes and unambiguous automata.- Reduced memory space for multi-dimensional search trees (extended abstract).
... weniger
Inhaltsverzeichnis zu „STACS 85 “
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
... mehr
NP.- Groups, codes and unambiguous automata.- Reduced memory space for multi-dimensional search trees (extended abstract).
... weniger
Bibliographische Angaben
- 1985, 388 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: K. Mehlhorn
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540139125
- ISBN-13: 9783540139126
- Erscheinungsdatum: 01.12.1984
Sprache:
Englisch
Kommentar zu "STACS 85"
0 Gebrauchte Artikel zu „STACS 85“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "STACS 85".
Kommentar verfassen