Theoretical Computer Science
Editat de P. Deussenen Limba Engleză Paperback – mar 1981
Preț: 320.93 lei
Preț vechi: 401.17 lei
-20%
Puncte Express: 481
Preț estimativ în valută:
56.75€ • 65.08$ • 49.05£
56.75€ • 65.08$ • 49.05£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540105763
ISBN-10: 354010576X
Pagini: 276
Ilustrații: X, 266 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:1981
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354010576X
Pagini: 276
Ilustrații: X, 266 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:1981
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
On the subword complexity and square-freeness of formal languages.- Cycle-free IN-algebraic systems.- On the height of syntactical graphs.- Boolean functions whose monotone complexity is of size n2/log n.- Netzwerke zur simultanen Berechnung Boolescher Funktionen (Ausführliche Kurzfassung).- The computational complexity of bilinear multiplications.- P — complete problems in free groups.- Quelques proprietes des langages a un Compteur.- Un resultat de discontinuite dans les familles de langages.- Verallgemeinerte kommutative Sprachen.- Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sarachen.- Un analogue du theoreme des varietes pour les cones et les cylindres.- A family of graphs with expensive depth-reduction.- On ?-balanced binary search trees.- Erzeugung optimalen Codes für Series — Parallel Graphs.- Recent directions in algorithmic research.- Dynamic k-dimensional multiway search under time-varying access frequencies.- Some applications of CFL's over infinite alphabets.- A decidable property of iterated morphisms.- Prefix-preservation for rational partial functions is decidable.- Concurrency and automata on infinite sequences.- An effective retract calculus.- Recursion and complexity theory on CPO-S.- Computable algebras, word problems and canonical term algebras.- Reachability analysis with assertion systems.- Dynamization of decomposable searching problems yielding good worst-case bounds.- Robust balancing in B-trees.- Centers of languages.- (Erasing)* strings.