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

著者名:

• Weihrauch, K.
• SpringerLink (Online service)

シリーズ名:

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)