Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Series=LNCS AND Volume=452

• ATIME(n) is closed under counting
  M. Piotrów
  Lecture Notes in Computer Science 452, 1990, pp. 457-463
• Investigation of finitary calculi for the temporal logics by means of infinitary calculi
  R. Plius̑kevic̑ius
  Lecture Notes in Computer Science 452, 1990, pp. 464-469
• Typed Horn logic
  A. Poigné
  Lecture Notes in Computer Science 452, 1990, pp. 470-477
• Results on the glory of the past
  I. Sain
  Lecture Notes in Computer Science 452, 1990, pp. 478-484
• A stronger version of Parikh theorem
  P.H. Uyen
  Lecture Notes in Computer Science 452, 1990, pp. 485-491
• The parallel complexity of some constructions in combinatorial group theory
  S. Waack
  Lecture Notes in Computer Science 452, 1990, pp. 492-498
• Gentzen type axiomatization for PAL
  I. Walukiewicz
  Lecture Notes in Computer Science 452, 1990, pp. 499-507
• Distance automata having large finite distance or finite ambiguity
  A. Weber
  Lecture Notes in Computer Science 452, 1990, pp. 508-515
• Bottom up-heap sort, a new variant of heap sort beating on average quick sort
  I. Wegener
  Lecture Notes in Computer Science 452, 1990, pp. 516-522
• Symmetric functions in AC^0 can be computed in constant depth with very small size
  I. Wegener, N. Wurm, S.-Z. Yi
  Lecture Notes in Computer Science 452, 1990, pp. 523-529
• The k-section of treewidth restricted graphs
  M. Wiegers
  Lecture Notes in Computer Science 452, 1990, pp. 530-537
• Computing large polynomial powers very fast in parallel
  T. Zeugmann
  Lecture Notes in Computer Science 452, 1990, pp. 538-544