( en | de | ru )

 

Disambiguierung von "Nerode, Anil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Normal forms and syntactic completeness proofs for functional independencies.

, , , und . Theor. Comput. Sci., 266 (1-2): 365-405 (2001)

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

Implementing Stable Semantics by Linear Programming., , , und . LPNMR, Seite 23-42. MIT Press, (1993)Topological Semantics for Hybrid Systems., , und . LFCS, Volume 1234 von Lecture Notes in Computer Science, Seite 1-8. Springer, (1997)Rule Systems and Well-Orderings., , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 69-92. Mathematical Sciences Institute, Cornell University, (1992)Tableaux for constructive concurrent dynamic logic., und . Ann. Pure Appl. Log., 135 (1-3): 1-72 (2005)Generic objects in recursion theory II: Operations on recursive approximation spaces., und . Ann. Pure Appl. Log., (1986)McNaughton Games and Extracting Strategies for Concurrent Programs., , und . Ann. Pure Appl. Log., 78 (1-3): 203-242 (1996)Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma., und . Ann. Pure Appl. Log., 78 (1-3): 127-146 (1996)In Memoriam: Hartley Rogers, Jr. 1926-2015.. Bull. Symb. Log., 22 (2): 294-297 (2016)The Notion of Rank and Games., und . LFCS, Volume 813 von Lecture Notes in Computer Science, Seite 204-217. Springer, (1994)Complexity of Recursive Normal Default Logic., , und . Fundam. Informaticae, 32 (2): 139-147 (1997)