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 YEAR=1987

• Predicate/transition nets
  H.J. Genrich
  Lecture Notes in Computer Science 254, 1987, pp. 207-247
• Coloured Petri nets
  K. Jensen
  Lecture Notes in Computer Science 254, 1987, pp. 248-299
• Analysing nets by the invariant method
  G. Memmi, J. Vautherin
  Lecture Notes in Computer Science 254, 1987, pp. 300-336
• Synchronic distance
  U. Goltz
  Lecture Notes in Computer Science 254, 1987, pp. 338-358
• Transformations and decompositions of nets
  G. Berthelot
  Lecture Notes in Computer Science 254, 1987, pp. 359-376
• Infinite behaviour and fairness
  R. Valk
  Lecture Notes in Computer Science 254, 1987, pp. 377-396
• Language theory of Petri nets
  M. Jantzen
  Lecture Notes in Computer Science 254, 1987, pp. 397-412
• Complexity of place/transition nets
  M. Jantzen
  Lecture Notes in Computer Science 254, 1987, pp. 413-434
• FIFO-nets
  G. Roucairol
  Lecture Notes in Computer Science 254, 1987, pp. 436-459
• Stochastic nets and performance evaluation
  A. Pagnoni
  Lecture Notes in Computer Science 254, 1987, pp. 460-478
• CEC
  H. Bertling, H. Ganzinger, H. Baumeister
  Lecture Notes in Computer Science 247, 1987, pp. 470
• ASSPEGIQUE - an integrated specification environment
  M. Bidoit, F. Capy, C. Choppy, M.-A. Choquet, S. Kaplan, F. Schlienger, F. Voisin
  Lecture Notes in Computer Science 247, 1987, pp. 471
• An interactive, incremental and portable computer algebra system for \lambda-calculus and combinatory logic based on video edition and rewriting techniques
  N. Girard
  Lecture Notes in Computer Science 247, 1987, pp. 474
• An algebraic transformation system for OCCAM programs
  M. Goldsmith, A. Cox, G. Barrett
  Lecture Notes in Computer Science 247, 1987, pp. 481
• Towards a theory of relativizations: Positive relativizations
  R.V. Book
  Lecture Notes in Computer Science 247, 1987, pp. 1-21
• Natural semantics
  G. Kahn
  Lecture Notes in Computer Science 247, 1987, pp. 22-39
• On local routing of two-terminal nets
  K. Mehlhorn, M. Kaufmann
  Lecture Notes in Computer Science 247, 1987, pp. 40-52
• Geometric relations among Voronoi diagrams
  F. Aurenhammer, H. Imai
  Lecture Notes in Computer Science 247, 1987, pp. 53-65
• Finding the largest empty rectangle on a grated surface
  J.D. Brock
  Lecture Notes in Computer Science 247, 1987, pp. 66-75
• Efficient graph algorithms using limited communication on a fixed-size array of processors
  K. Doshi, P. Varman
  Lecture Notes in Computer Science 247, 1987, pp. 76-87
• On selecting the largest element in spite of erroneous information
  B. Ravikumar, K. Ganesan, K.B. Lakshmanan
  Lecture Notes in Computer Science 247, 1987, pp. 88-99
• The correlation between the complexities of the non-hierarchical and hierarchical versions of graph problems
  T. Lengauer, K.W. Wagner
  Lecture Notes in Computer Science 247, 1987, pp. 100-113
• Graph isomorphism is in the low hierarchy
  U. Schöning
  Lecture Notes in Computer Science 247, 1987, pp. 114-124
• A hierarchy theorem for almost everywhere complex sets with application to polynomial complexity degrees
  J.G. Geske, D.T. Huynh, A.L. Selman
  Lecture Notes in Computer Science 247, 1987, pp. 125-135
• Self-reducibility
  J.L. Balcázar
  Lecture Notes in Computer Science 247, 1987, pp. 136-147