( en | de | ru )

 

Disambiguierung von "Nerode, Anil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.

, , , und . J. ACM, 41 (6): 1178-1215 (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.

Ata Anil

Anil Bhatti

Anil Jain

Anil Jain

Anil Kottantharayil

 

Weitere Publikationen von Autoren mit dem selben Namen

The Notion of Rank and Games., und . LFCS, Volume 813 von Lecture Notes in Computer Science, Seite 204-217. Springer, (1994)Special Issue on Logical Foundations of Computer Science., und . J. Log. Comput., 30 (1): 1 (2020)Implementing Stable Semantics by Linear Programming., , , und . LPNMR, Seite 23-42. MIT Press, (1993)Rule Systems and Well-Orderings., , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 69-92. Mathematical Sciences Institute, Cornell University, (1992)Normal forms and syntactic completeness proofs for functional independencies., , , und . Theor. Comput. Sci., 266 (1-2): 365-405 (2001)Topological Semantics for Hybrid Systems., , und . LFCS, Volume 1234 von Lecture Notes in Computer Science, Seite 1-8. Springer, (1997)In Memoriam: Hartley Rogers, Jr. 1926-2015.. Bull. Symb. Log., 22 (2): 294-297 (2016)Complexity of Recursive Normal Default Logic., , und . Fundam. Informaticae, 32 (2): 139-147 (1997)Editorial., und . J. Log. Comput., 32 (8): 1486 (2022)Computable Kripke Models and Intermediate Logics., , und . Inf. Comput., 143 (2): 205-230 (1998)