|
Search the dblp DataBase
Siva Anantharaman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Unification Modulo ACU I Plus Homomorphisms/Distributivity. [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:442-457 [Conf]
- Siva Anantharaman, Maria Paola Bonacina
An Application of Automated Equational Reasoning to Many-valued Logic. [Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:156-161 [Conf]
- Siva Anantharaman, Nirina Andrianarivelo
Heuristical Criteria in Refutational Theorem Proving. [Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:184-193 [Conf]
- Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin
Experiments with Associative-Commutative Discrimination Nets. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:348-355 [Conf]
- Barbara Fila, Siva Anantharaman
Automata for Positive Core XPath Queries on Compressed Documents. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:467-481 [Conf]
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
ACID-Unification Is NEXPTIME-Decidable. [Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:169-178 [Conf]
- Siva Anantharaman, Jieh Hsiang, Jalel Mzali
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. [Citation Graph (0, 0)][DBLP] RTA, 1989, pp:533-537 [Conf]
- Siva Anantharaman, Gilles Richard
A Rewrite Mechanism for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP] RTA, 1995, pp:163-178 [Conf]
- Ta Chen, Siva Anantharaman
STORM: A MAny-to-One Associative-Commutative Matcher. [Citation Graph (0, 0)][DBLP] RTA, 1995, pp:414-419 [Conf]
- Siva Anantharaman, Jing Chen, Gaétan Hains
A Synchronous Process Calculus for Service Costs. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:435-444 [Conf]
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Closure properties and decision problems of dag automata. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2005, v:94, n:5, pp:231-240 [Journal]
- Siva Anantharaman, Jieh Hsiang
Automated Proofs of the Moufang Identities in Alternative Rings. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1990, v:6, n:1, pp:79-109 [Journal]
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Unification Modulo ACUI Plus Distributivity Axioms. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:1, pp:1-28 [Journal]
- Siva Anantharaman, Gilles Richard
A Rewrite Mechanism for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:192, n:1, pp:77-106 [Journal]
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Intruders with Caps. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:20-35 [Conf]
Cap unification: application to protocol security modulo homomorphic encryption. [Citation Graph (, )][DBLP]
Unification Modulo Homomorphic Encryption. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|