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

• Efficient algorithms for crash recovery in distributed systems
  Tony T-Y. Juang, S. Venkatesan
  Lecture Notes in Computer Science 472, 1990, pp. 349-361
• A non-standard inductive semantics
  Gianna Reggio
  Lecture Notes in Computer Science 472, 1990, pp. 362-372
• Relating full abstraction results for different programming languages
  Kurt Sieber
  Lecture Notes in Computer Science 472, 1990, pp. 373-387
• Towards a theory of commonsense visual reasoning
  B. Chandrasekaran, N. Hari Narayanan
  Lecture Notes in Computer Science 472, 1990, pp. 388-409
• Natural language processing, complexity theory and logic
  Akshar Bharati, Rajeev Sangal, Vineet Chaitanya
  Lecture Notes in Computer Science 472, 1990, pp. 410-420