„Logic Programming“

Suchergebnisse

2.836 Treffer

• Transposition of large tabular data structures with applications to physical database organization – Part II. Applications to physical database organization
  Tsuda, Takao ; Urano, Akira ; Sato, Takashi
• Product properties and their direct verification
  Francez, Nissim
• Recognition and selection of idioms for code optimization
  Snyder, Lawrence
• Locations considered unnecessary
  Donahue, James E.
• On the power of chain rules in context free grammars
  Blum, Norbert
• Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems
  Lipski, W. ; Preparata, F. P.
• The construction of operator interfaces based on logical input devices
  Pfaff, Günther E.
• Some extended semaphore primitives
  Agerwala, Tilak
• Computing extremal and approximate distances in graphs having unit cost edges
  Booth, Kellogg S. ; Lipton, Richard J.
• A relational approach to the design of deterministic programs
  Mili, Ali
• Performance considerations in the parallel execution of numerical algorithms on two processors
  Staphylopatis, A.
• Space efficient algorithms for some graph theoretical problems
  Ja'Ja', Joseph ; Simon, Janos
• On the generative power of regular pattern grammars
  Kleijn, H. C. M. ; Rozenberg, G.
• Interpretation and reduction of attribute grammars
  Filè, Gilberto
• A general proof rule for procedures in predicate transformer semantics
  Martin, Alain J.
• The multiple phase service network with generalized processor sharing
  Cohen, J. W.
• On parsing arithmetic expressions in a multiprocessing environment
  Baccelli, François ; Fleury, Thierry
• Iterated deterministic substitution
  Asveld, Peter R. J. ; Engelfriet, Joost
• Eliminating unit reductions from LR(k) parsers using minimum contexts
  Tokuda, Takehiro
• The effect of fixed-length record implementation on file system response
  Leung, C. H. C. ; Choo, Q. H.