„Logic Programming“

Suchergebnisse

2.836 Treffer

• Performances of an algorithm constructing a nearly optimal binary tree
  Akdag, Herman
• Indépendance forte de certaines opérations
  Rodriguez, F.
• A characterization of database graphs admitting a simple locking protocol
  Kedem, Zvi ; Silberschatz, Abraham
• A principle of independence for binary tree searching
  Guibas, Leo J.
• The complexity of drawing trees nicely
  Supowit, Kenneth J. ; Reingold, Edward M.
• Monoïdes syntactiques des langages algébriques
  Perrot, J. -F
• Concurrency and Trie Hashing
  Litwin, W. ; Sagiv, Y. ; Vidyasankar, K.
• Deterministic grammars and grammar morphisms
  Reichardt, Johannes
• The family of one-counter languages is closed under quotient
  Latteux, M. ; Leguy, B. ; Ratoandromanana, B.
• A Continuous Logical Method of Uniting Individual Object Preference Estimates
  Levin, V. I.
• The algebraic specification of abstract data types
  Guttag, J. V. ; Horning, J. J.
• Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits
  Ali, B. ; Almaini, A. E. A. ; Kalganova, T.
• Analyse d'un algorithme de gestion simultanée mémoire centrale — disque de pagination
  Gelenbe, E. ; Lenfant, J. ; Potier, D.
• Logical Time in Distributed Software Systems
  Zhuklinets, I. A. ; Khotimsky, D. A.
• The discovery of indicator variables for QSAR using inductive logic programming
  King, Ross D. ; Srinivasan, Ashwin
• Weakly context-sensitive languages as model for programming languages
  Schuler, P. F.
• On the recognition of permuted Supnick and incomplete Monge matrices
  Deineko, Vladimir ; Rudolf, Rüdiger ; Woeginger, Gerhard J.
• Stochastic cooperative distributed grammar systems and random graphs
  Gašo, Ján ; Nehéz, Martin
• RETRPROV A system that looks for axioms
  Biela, Andrzej ; Borowczyk, Jakub
• Reasoning algebraically about loops
  Back, R.J.R ; von Wright, J.