„Logic Programming“

Suchergebnisse

2.836 Treffer

• The correctness of the Schorr-Waite list marking algorithm
  Topor, R. W.
• A useful lemma for context-free programmed grammars
  Leeuwen, Jan van
• The clean termination of Pascal programs
  Coleman, D. ; Hughes, J. W.
• A note on multihead automata and context-sensitive languages
  Savitch, Walter J.
• Nonterminals, homomorphisms and codings in different variations of OL-systems – I. Deterministic systems
  Nielsen, M. ; Rozenberg, G. ; Salomaa, A. ; Skyum, S.
• On random 2–3 trees
  Yao, Andrew Chi-Chih
• Procédures de reprise dans les systèmes de gestion de base de données réparties
  Bouchet, P.
• Developmental systems with locally catenative formulas
  Rozenberg, G. ; Lindenmayer, A.
• Extended linear macro grammars, iteration grammars, and register programs
  Asveld, Peter R. J. ; Engelfriet, Joost
• do considered od: A contribution to the programming calculus
  Hehner, Eric C. R.
• Multipass precedence analysis
  Khabbaz, Nabil A.
• A proof method for cyclic programs
  Francez, Nissim ; Pnueli, Amir
• Single machine flow-time scheduling with a single breakdown
  Adiri, Igal ; Bruno, John ; Frostig, Esther ; Rinnooy Kan, A. H. G.
• Static main storage packing problems
  Warren, Henry S.
• Intersections de langages algébriques bornés
  Latteux, Michel
• Sequentielle Analyse kontextfreier Sprachen
  Hotz, G.
• The report on the standard hardware representation for ALGOL 68
  Hansen, Wilfred J. ; Boom, Hendrik
• Automatic correction of syntax-errors in programming languages
  Lévy, J. -P
• Semantic decomposition of computer programs: An aid to program testing
  Zislis, Paul M.
• More comments on the programming language Pascal
  Lecarme, O. ; Desjardins, P.