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

• Parikh-bounded languages
  Mera Blattner, Michel Latteux
  Lecture Notes in Computer Science 115, 1981, pp. 316-323
• Generalized Parikh mappings and homomorphisms
  Juhani Karhumäki
  Lecture Notes in Computer Science 115, 1981, pp. 324-332
• Chomsky-Schützenberger representations for families of languages and grammatical types
  Sorin Istrail
  Lecture Notes in Computer Science 115, 1981, pp. 333-347
• Algebraically specified programming systems and Hoare's logic
  J.A. Bergstra, J.V. Tucker
  Lecture Notes in Computer Science 115, 1981, pp. 348-362
• Automatic construction of verification condition generators from Hoare logics
  Marc Moricani, Richard L. Schwartz
  Lecture Notes in Computer Science 115, 1981, pp. 363-377
• Circular expressions: Elimination of static environments
  Ravi Sethi
  Lecture Notes in Computer Science 115, 1981, pp. 378-392
• An axiomatic approach to the Korenjak-Hopcroft algorithms
  B. Courcelle
  Lecture Notes in Computer Science 115, 1981, pp. 393-407
• On the (generalized) post correspondence problem with lists of length 2
  A. Ehrenfeucht, G. Rozenberg
  Lecture Notes in Computer Science 115, 1981, pp. 408-416
• A sparse table implementation of priority queues
  Alon Itai, Alan G. Konheim, Michael Rodeh
  Lecture Notes in Computer Science 115, 1981, pp. 417-431
• Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems
  Alberto Pettorossi
  Lecture Notes in Computer Science 115, 1981, pp. 432-447
• Termination of linear rewriting systems
  Nachum Dershowitz
  Lecture Notes in Computer Science 115, 1981, pp. 448-458
• Realizing an equational specification
  A. Pnueli, R. Zarhi
  Lecture Notes in Computer Science 115, 1981, pp. 459-478
• A Cook's tour of countable nondeterminsm
  K.R. Apt, G.D. Plotkin
  Lecture Notes in Computer Science 115, 1981, pp. 479-494
• The complexity of decision problems for finite-turn multicounter machines
  Eitan M. Gurari, Oscar H. Ibarra
  Lecture Notes in Computer Science 115, 1981, pp. 495-505
• Alternating multihead finite automata
  K.N. King
  Lecture Notes in Computer Science 115, 1981, pp. 506-520
• The solution for the branching factor of the alpha-beta pruning algorithm
  Judea Pearl
  Lecture Notes in Computer Science 115, 1981, pp. 521-529
• Uniform complexity and digital signatures
  Karl Lieberherr
  Lecture Notes in Computer Science 115, 1981, pp. 530-543
• On the generation of cryptographically strong pseudo-random sequences
  Adi Shamir
  Lecture Notes in Computer Science 115, 1981, pp. 544-550
• Erratum to ''Measuring the expressive power of dynamic logics: An application of abstract model theory''
  J.A. Makowsky
  Lecture Notes in Computer Science 115, 1981, pp. 551-551