( en | de | ru )

 

Disambiguation of "Anantharaman, Siva"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Proofs of the Moufang Identities in Alternative Rings.

, and . J. Autom. Reason., 6 (1): 79-109 (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Anantharaman

Ganapathi Anantharaman

Sankaran Anantharaman

Siva Challa

Visvakanth Sivanathan

 

Other publications of authors with the same name

Heuristical Criteria in Refutational Theorem Proving., and . DISCO, volume 429 of Lecture Notes in Computer Science, page 184-193. Springer, (1990)Unification Modulo Synchronous Distributivity., , , , and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 14-29. Springer, (2012)String Rewriting and Security Analysis: An Extension of a Result of Book and Otto., , and . Journal of Automata, Languages and Combinatorics, 16 (2-4): 75-90 (2011)Unification Modulo ACU I Plus Homomorphisms/Distributivity., , and . CADE, volume 2741 of Lecture Notes in Computer Science, page 442-457. Springer, (2003)Privacy Analysis with a Distributed Transition System and a Data-Wise Metric., , and . PSD, volume 13463 of Lecture Notes in Computer Science, page 15-30. Springer, (2022)Closure properties and decision problems of dag automata., , and . Inf. Process. Lett., 94 (5): 231-240 (2005)Automated Proofs of the Moufang Identities in Alternative Rings., and . J. Autom. Reason., 6 (1): 79-109 (1990)An Application of Automated Equational Reasoning to Many-valued Logic., and . CTRS, volume 516 of Lecture Notes in Computer Science, page 156-161. Springer, (1990)A Rewrite Mechanism for Logic Programs with Negation., and . RTA, volume 914 of Lecture Notes in Computer Science, page 163-178. Springer, (1995)STORM: A MAny-to-One Associative-Commutative Matcher., and . RTA, volume 914 of Lecture Notes in Computer Science, page 414-419. Springer, (1995)