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

• A parametric analysis of the state explosion problem in model checking
  S. Demri, F. Laroussinie, P. Schnoebelen
  Lecture Notes in Computer Science 2285, 2002, pp. 620-631
• Generalized model-checking over locally tree-decomposable classes
  Markus Frick
  Lecture Notes in Computer Science 2285, 2002, pp. 632-644
• Learnability and definability in trees and similar structures
  Martin Grohe, Gyorgy Turán
  Lecture Notes in Computer Science 2285, 2002, pp. 645-657