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

• Constant-space string-matching
  Maxime Crochemore
  Lecture Notes in Computer Science 338, 1988, pp. 80-87
• Path planning with local information
  Amitava Datta, Kamala Krithivasan
  Lecture Notes in Computer Science 338, 1988, pp. 108-121
• Predicting deadlock in store-and-forward networks
  Claudio Arbib, Giuseppe F. Italiano, Alessandro Panconesi
  Lecture Notes in Computer Science 338, 1988, pp. 123-142
• On parallel sorting and addition with concurrent writes
  Sanjeev Saxena, P.C.P. Bhatt, V.C. Prasad
  Lecture Notes in Computer Science 338, 1988, pp. 143-153
• An optimal parallel algorithm for sorting presorted files
  Christos Levcopoulos, Ola Petersson
  Lecture Notes in Computer Science 338, 1988, pp. 154-160
• Superlinear speedup in parallel state-space search
  Rao V. Nageshwara, Vipin Kumar
  Lecture Notes in Computer Science 338, 1988, pp. 161-174
• Non-uniform proof-systems
  Jürgen Kämper
  Lecture Notes in Computer Science 338, 1988, pp. 193-210
• Padding, commitment and self-reducibility
  Sanjeev N. Khadilkar, Somenath Biswas
  Lecture Notes in Computer Science 338, 1988, pp. 211-224
• The complexity of a counting finite-state automaton
  Craig A. Rich, Giora Slutzki
  Lecture Notes in Computer Science 338, 1988, pp. 225-239
• A hierarchy theorem for PRAM-based complexity classes
  Walter W. Kirchherr
  Lecture Notes in Computer Science 338, 1988, pp. 240-249
• A natural deduction treatment of operational semantics
  R. Burstall, F. Honsell
  Lecture Notes in Computer Science 338, 1988, pp. 250-269
• Uniformly applicative structures, a theory of computability and polyadic functions
  Patrick Bellot, V. Jay
  Lecture Notes in Computer Science 338, 1988, pp. 270-285
• A proof technique for register atomicity
  Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M.B. Vitányi
  Lecture Notes in Computer Science 338, 1988, pp. 286-303
• Relation level semantics
  Jules Desharnais, Nazim H. Madhavji
  Lecture Notes in Computer Science 338, 1988, pp. 304-328
• A constructive set theory for program development
  Martin C. Henson, Raymond Turner
  Lecture Notes in Computer Science 338, 1988, pp. 329-347
• McCarthy's amb cannot implement fair merge
  Prakash Panangaden, Vasant Shanbhogue
  Lecture Notes in Computer Science 338, 1988, pp. 348-363
• GHC - A language for a new age of parallel programming
  Koichi Furukawa, Kazunori Ueda
  Lecture Notes in Computer Science 338, 1988, pp. 364-376
• Accumulators
  Keshav Pingali, Kattamuri Ekanadham
  Lecture Notes in Computer Science 338, 1988, pp. 377-399
• A resolution rule for well-formed formulae
  K.S.H.S.R. Bhatta, Harish Karnick
  Lecture Notes in Computer Science 338, 1988, pp. 400-418
• Algebraic and operational semantics of positive/negative conditional algebraic specifications
  Stéphane Kaplan
  Lecture Notes in Computer Science 338, 1988, pp. 419-434
• Semi-unification
  Deepak Kapur, David Musser, Paliath Narendran, Jonathan Stillman
  Lecture Notes in Computer Science 338, 1988, pp. 435-454
• A method to check knowledge base consistency
  Alain Beauvieux
  Lecture Notes in Computer Science 338, 1988, pp. 455-468
• Knowledge bases as structured theories
  Jose Fiadeiro, Amilcar Sernadas, Cristina Sernadas
  Lecture Notes in Computer Science 338, 1988, pp. 469-486
• On functional independencies
  Jürgen M. Janas
  Lecture Notes in Computer Science 338, 1988, pp. 487-508
• A generic algorithm for transaction processing during network partitioning
  Bharat Bhargava, Shirley Browne
  Lecture Notes in Computer Science 338, 1988, pp. 509-519