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=317

• Outer narrowing for equational theories based on constructors
  J.-H. You
  Lecture Notes in Computer Science 317, 1988, pp. 727-741