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

• Ground term confluence in parametric conditional equational specifications
  H. Ganzinger
  Lecture Notes in Computer Science 247, 1987, pp. 286-298
• Comparing direct and continuation semantics styles for concurrent languages
  E. Astesiano, G. Reggio
  Lecture Notes in Computer Science 247, 1987, pp. 311-322
• Expressibility of first order logic with a nondeterministic inductive operator
  V. Arvind, S. Biswas
  Lecture Notes in Computer Science 247, 1987, pp. 323-335
• Bounded nondeterminism and the approximation induction principle in process algebra
  R.J. van Glabbeek
  Lecture Notes in Computer Science 247, 1987, pp. 336-347
• The step failure semantics
  D. Taubner, W. Vogler
  Lecture Notes in Computer Science 247, 1987, pp. 348-359
• On the complexity of containment, equivalence and reachibility for finite and 2-dimensional vector addition systems with states
  R.R. Howell, D.T. Huynh, L.E. Rosier, H.C. Yen
  Lecture Notes in Computer Science 247, 1987, pp. 360-370
• Closure properties of deterministic Petri nets
  E. Pelz
  Lecture Notes in Computer Science 247, 1987, pp. 371-382
• Some results on fairnes: the regular case
  L. Priese, R. Rehrmann, U. Willecke-Klemme
  Lecture Notes in Computer Science 247, 1987, pp. 383-395
• Decidability questions for fairness in Petri nets
  H. Carstensen
  Lecture Notes in Computer Science 247, 1987, pp. 396-407
• Optimal sorting on multi-dimensionally mesh-connected computers
  M. Kunde
  Lecture Notes in Computer Science 247, 1987, pp. 408-419
• On the contact-minimization problem
  P. Molitor
  Lecture Notes in Computer Science 247, 1987, pp. 420-431
• Making distributed spanning tree algorithms fault-resilient
  R. Bar-Yehuda, S. Kutten, Y. Wolfstahl, S. Zaks
  Lecture Notes in Computer Science 247, 1987, pp. 432-444
• The derivation of on-the-fly garbage collection algorithms from distributed termination detection protocols
  G. Tel, R.B. Tan, J. van Leeuwen
  Lecture Notes in Computer Science 247, 1987, pp. 445-455
• On the expected complexity of distributed selection
  N. Santoro, J.B. Sidney, S.J. Sidney
  Lecture Notes in Computer Science 247, 1987, pp. 456-467
• LPG: A generic, logic and functional programming language
  D. Bert, P. Drabik, R. Echahed
  Lecture Notes in Computer Science 247, 1987, pp. 468-469
• REVEUR4: A laboratory for conditional rewriting
  W. Bousdira, J.-L. Remy
  Lecture Notes in Computer Science 247, 1987, pp. 472-473
• The Passau RAP system: Rapid prototyping for algebraic specifications
  H. Hussmann
  Lecture Notes in Computer Science 247, 1987, pp. 475-476
• SPRAC: A software engineering environment
  M. Lemoine, R. Jacquart, G. Zanon
  Lecture Notes in Computer Science 247, 1987, pp. 477-478
• SLOG - a logic interpreter for equational clauses
  L. Fribourg
  Lecture Notes in Computer Science 247, 1987, pp. 479-480
• REVE a rewrite rule laboratory
  P. Lescanne
  Lecture Notes in Computer Science 247, 1987, pp. 482-483