( en | de | ru )

 

Disambiguierung von "Kumar, K. Narayan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering.

, , , , und . CoRR, (2019)

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.

Rohini Kumar

Pardeep Kumar

Aditya Kumar

Podiyanachari Santhosh Kumar

Kamlesh Kumar

 

Weitere Publikationen von Autoren mit dem selben Namen

Adjacent Ordered Multi-Pushdown Systems., , und . Int. J. Found. Comput. Sci., 25 (8): 1083-1096 (2014)Acceleration in Multi-PushDown Systems., , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 698-714. Springer, (2016)The Theory of Message Sequence Charts.. Modern Applications of Automata Theory, Volume 2 von IISc Research Monographs Series, World Scientific, (2012)Keeping Track of the Latest Gossip in Message-Passing Systems., , und . STRICT, Seite 249-263. Springer, (1995)Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains., , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 30-58. Springer, (2021)Verifying Reachability for TSO Programs with Dynamic Thread Creation., , , , und . NETYS, Volume 13464 von Lecture Notes in Computer Science, Seite 283-300. Springer, (2022)A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs., , , und . PPDP, Volume 1702 von Lecture Notes in Computer Science, Seite 396-413. Springer, (1999)Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models., , und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 227-241. Springer, (2001)Checking Coverage for Infinite Collections of Timed Scenarios., , und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 181-196. Springer, (2007)On Bounded Reachability Analysis of Shared Memory Systems., , , und . FSTTCS, Volume 29 von LIPIcs, Seite 611-623. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)