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

• Graphbots: Mobility in discrete spaces
  Samir Khuller, Ehud Rivlin, Azriel Rosenfeld
  Lecture Notes in Computer Science 944, 1995, pp. 593-604
• Solving recursive net equations
  Eike Best, Maciej Koutny
  Lecture Notes in Computer Science 944, 1995, pp. 605-623
• Implicit definability and infinitary logic in finite model theory
  Anuj Dawar, Lauri Hella, Phokion G. Kolaitis
  Lecture Notes in Computer Science 944, 1995, pp. 624-635
• The limit of \mbox{split}_n-language equivalence
  Walter Vogler
  Lecture Notes in Computer Science 944, 1995, pp. 636-647
• Divergence and fair testing
  V. Natarajan, Rance Cleaveland
  Lecture Notes in Computer Science 944, 1995, pp. 648-659
• Causality for mobile processes
  Pierpaolo Degano, Corrado Priami
  Lecture Notes in Computer Science 944, 1995, pp. 660-671
• Internal mobility and agent-passing calculi
  Davide Sangiorgi
  Lecture Notes in Computer Science 944, 1995, pp. 672-683