Theoretical Computer Science : 4th GI Conference Aachen, March 26-28, 1979. 1st ed. 1979
- 種類:
- 電子ブック
- 責任表示:
- herausgegeben von K. Weihrauch
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 67
- ISBN:
- 9783540355175 [3540355170]
- 注記:
- Context-free sets of infinite words -- New aspects of homomorphisms -- Can partial correctness assertions specify programming language semantics? -- An algebraic theory for synchronization -- Storage modification machines -- Negative results on counting -- Strong non-deterministic context-free languages -- Information content characterizations of complexity theoretic properties -- Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen -- A new recursion induction principle -- Finite-change automata -- Move rules and trade-offs in the pebble game -- Transition diagrams and strict deterministic grammars -- Exact expressions for some randomness tests -- On storage optimization for automatically generated compilers -- On continuous completions -- A new method to show lower bounds for polynomials which are hard to compute -- On zerotesting-bounded multicounter machines -- When are two effectively given domains identical? -- Sur deux langages linéaires -- An efficient on-line position tree co
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |