Autor der Publikation

Independence of Negative Constraints.

, und . TAPSOFT, Vol.1, Volume 351 von Lecture Notes in Computer Science, Seite 19-27. Springer, (1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Simplification and Elimination of Redundant Linear Arithmetic Constraints., , und . NACLP, Seite 37-51. MIT Press, (1989)Signature based intrusion detection using latent semantic analysis., , , und . IJCNN, Seite 1068-1074. IEEE, (2008)Unification Revisited., , und . Foundations of Logic and Functional Programming, Volume 306 von Lecture Notes in Computer Science, Seite 67-113. Springer, (1986)Completeness of the Negation as Failure Rule., , und . IJCAI, Seite 500-506. William Kaufmann, (1983)Fourier Algorithm Revisited., , und . ALP, Volume 463 von Lecture Notes in Computer Science, Seite 117-131. Springer, (1990)Comments on "General Failure of Logic Programs"., , und . J. Log. Program., 3 (2): 115-118 (1986)see JLP 2: 157-165 (1985).A critical examination of software science., , , und . J. Syst. Softw., 2 (2): 105-112 (1981)Elimination of Negation in Term Algebras., , und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 1-16. Springer, (1991)Most Specific Logic Programs., , und . ICLP/SLP, Seite 909-923. MIT Press, (1988)Developing a pyramid structure for managing web-centric documents., , und . SIGDOC, Seite 80-84. ACM, (2005)