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	Hilfe

Suche: Series=LNCS AND Volume=1256

• Molecular computing, bounded nondeterminism, and efficient recursion
  Richard Beigel, Bin Fu
  Lecture Notes in Computer Science 1256, 1997, pp. 816-826
• Constructing big trees from short sequences
  Péter L. Erdŏs, Michael A. Steel, László A. Székely, Tandy J. Warnow
  Lecture Notes in Computer Science 1256, 1997, pp. 827-837
• Termination of constraint logic programs
  Salvatore Ruggieri
  Lecture Notes in Computer Science 1256, 1997, pp. 838-848
• The expressive power of unique total stable model semantics
  Francesco Buccafurri, Sergio Greco, Domenico Saccà
  Lecture Notes in Computer Science 1256, 1997, pp. 849-859