Zobrazeno 1 - 10
of 485
pro vyhledávání: '"Mishra Om P"'
The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the boundedness problem for Unions of Conjunctive Regular Path Queries (UCR
Externí odkaz:
http://arxiv.org/abs/2407.20782
Autor:
Haase, Christoph, Krishna, Shankara Narayanan, Madnani, Khushraj, Mishra, Om Swostik, Zetzsche, Georg
All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is tight. We
Externí odkaz:
http://arxiv.org/abs/2405.01183
Autor:
Yadav, Kusumlata, Mishra, Om P., Khandhadiya, Ketki, Mishra, Surendra P., Mishra, Arpita, Singh, Ashok, Agrawal, Ritesh K., Sanghvi, Nirali, Mishra, Akash
Publikováno v:
In Pediatric Hematology Oncology Journal March 2024 9(1):9-14
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Mishra, Om P.1 opmpedia@yahoo.co.uk
Publikováno v:
Pediatric Nephrology. Jun2022, Vol. 37 Issue 6, p1171-1174. 4p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.