( en | de | ru )

 

Disambiguierung von "Yuan, Li-Yan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
First-Order Logic Characterization of Program Properties.

, und . IEEE Trans. Knowl. Data Eng., 6 (4): 518-533 (1994)

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.

Yuan Li

Li Yuan

Yuan Li

Yuan Li

Li Yuan

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical Design of Relational Database Systems., und . PODS, Seite 38-47. ACM, (1987)A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming., , und . ICCI, Volume 497 von Lecture Notes in Computer Science, Seite 699-708. Springer, (1991)Implementation of a Linear Tabling Mechanism., , , und . PADL, Volume 1753 von Lecture Notes in Computer Science, Seite 109-123. Springer, (2000)An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure., , und . FSTTCS, Volume 1346 von Lecture Notes in Computer Science, Seite 138-152. Springer, (1997)A Default Interpretation of Defeasible Network., , und . IJCAI (1), Seite 156-161. Morgan Kaufmann, (1997)Top-k ranking for uncertain data., , und . FSKD, Seite 363-368. IEEE, (2010)A Design Method for Nested Relational Databases., und . ICDE, Seite 599-608. IEEE Computer Society, (1987)Unifying Functional and Multivalued Dependencies for Relational Database Design., und . PODS, Seite 183-190. ACM, (1986)Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities., , , und . LPNMR, Volume 4483 von Lecture Notes in Computer Science, Seite 228-240. Springer, (2007)Disjunctive Logic Programming and Autoepistemic Logic., , und . LPKR, Volume 1471 von Lecture Notes in Computer Science, Seite 85-101. Springer, (1997)