Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Eeralla, Ajay"'
Autor:
Thotadi, Chaitanyateja, Debbala, Monith, Rao, Subba, Eeralla, Ajay, Palaniswamy, Basker, Mookherji, Srijanee, Odelu, Vanga, Reddy, Alavalapati Goutham
Publikováno v:
In Cyber Security and Applications 2024 2
Publikováno v:
Math. Struct. Comp. Sci. 30 (2020) 664-682
We consider the problem of the unification modulo an equational theory ACh, which consists of a function symbol $h$ that is homomorphic over an associative-commutative operator $+$. Since the unification modulo ACh theory is undecidable, we define a
Externí odkaz:
http://arxiv.org/abs/1811.05602
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.
Publikováno v:
[Research Report] RR-9252, Inria Nancy-Grand Est. 2019
We investigate the unification problemin theories defined by rewrite systems which are both convergent andforward-closed. These theories are also known in the context ofprotocol analysis as theories with the finite variant property andadmit a variant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::1dd1f6a7569a5ae35929e268615a739c
https://hal.inria.fr/hal-02006179/file/RR-9252.pdf
https://hal.inria.fr/hal-02006179/file/RR-9252.pdf