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 [2]	Hilfe

Suche: Series=LNCS AND Volume=2245

• On polynomial representations of Boolean functions related to some number theoretic problems
  Erion Plaku, Igor E. Shparlinski
  Lecture Notes in Computer Science 2245, 2001, pp. 305-316
• Range allocation for equivalence logic
  Amir Pnueli, Yoav Rodeh, Ofer Shtrichman
  Lecture Notes in Computer Science 2245, 2001, pp. 317-333
• Rewrite closure for ground and cancellative AC theories
  Ashish Tiwari
  Lecture Notes in Computer Science 2245, 2001, pp. 334-346