<電子ブック>
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn
(Lecture Notes in Computer Science. ISSN:16113349 ; 182)
版 | 1st ed. 1985. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1985 |
本文言語 | 英語 |
大きさ | VII, 375 p : online resource |
著者標目 | Mehlhorn, K editor SpringerLink (Online service) |
件 名 | LCSH:Algorithms LCSH:Machine theory LCSH:Computer science FREE:Algorithms FREE:Formal Languages and Automata Theory FREE:Theory of Computation FREE:Models of Computation |
一般注記 | 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) HTTP:URL=https://doi.org/10.1007/BFb0023988 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540391364 |
|
電子リソース |
|
EB00224750 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.9.A43 DC23:518.1 |
書誌ID | 4001088559 |
ISBN | 9783540391364 |