„Logic Programming“

Suchergebnisse

2.836 Treffer

• Canonical prefixes of Petri net unfoldings
  Khomenko, Victor ; Koutny, Maciej ; Vogler, Walter
• A distributed QoS-Aware multicast routing protocol
  Layuan, Li ; Chunlin, Li
• Element distinctness on one-tape Turing machines: a complete solution
  Ben-Amram, Amir M. ; Berkman, Omer ; Petersen, Holger
• Towards action refinement for true concurrent real time
  Majster-Cederbaum, Mila ; Wu, Jinzhao
• A note on pure and p-pure languages
  Silva, Pedro V.
• A comparison of pebble tree transducers with macro tree transducers
  Engelfriet, Joost ; Maneth, Sebastian
• INVESTIGATION AND DEVELOPMENT OF METHODS AND ALGORITHMS FOR ANALYZING VIDEO-EEG MONITORING OF DELAYED CEREBRAL ISCHEMIA AFTER SUBARACHNOID HAEMORRHAGE
  Morozov, A. A. ; Sushkova, O. S. ; Sinkin, M. V. ; Okuneva, I. V. ; Obukhov, Y. V.
• On finite automata with limited nondeterminism
  Leung, Hing
• Data refinement of mixed specifications
  Sanders, Beverly A.
• An analysis and implementation of an efficient in-place bucket sort
  Burnetas, Apostolos ; Solow, Daniel ; Agarwal, Rishi
• Using the causal domain to specify and verify distributed programs
  Garg, Vijay K. ; Tomlinson, Alexander I.
• A fine-grained data-flow analysis framework
  Hsieh, C. Samuel
• An optimal emulator and VLSI layout for complete binary trees
  Efe, Kemal ; Eleser, Nancy
• Implementing Daubechies wavelet transform with weighted finite automata
  Culik II., Karel ; Dube, Simant
• Reduced constants for simple cycle graph separation
  Djidjev, Hristo N. ; Venkatesan, Shankar M.
• Using graph coloring in an algebraic compiler
  Rus, Teodor ; Pemmaraju, Sriram
• Relational database constraints as counterexamples
  Orman, Levent V.
• Object type constructors
  Duggan, Dominic
• Impurity measures in databases
  Simovici, Dan A. ; Cristofor, Dana ; Cristofor, Laurentiu
• On the sequential nature of interprocedural program-analysis problems
  Reps, Thomas