Siva Anantharaman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An application of automated equational reasoning to many-valued logic Conditional and Typed Rewriting Systems	2023-03-09	Paper
A rewrite mechanism for logic programs with negation Rewriting Techniques and Applications	2022-12-09	Paper
Unification modulo lists with reverse relation with certain word equations	2020-03-10	Paper
String rewriting and security analysis: an extension of a result of Book and Otto Journal of Automata, Languages and Combinatorics	2016-09-29	Paper
Unification modulo a 2-sorted equational theory for cipher-decipher block chaining Logical Methods in Computer Science	2014-03-24	Paper
Unification modulo synchronous distributivity Automated Reasoning	2012-09-05	Paper
Unification modulo homomorphic encryption Journal of Automated Reasoning	2012-07-17	Paper
Unification Modulo Chaining Language and Automata Theory and Applications	2012-06-08	Paper
Unification modulo ACUI plus homomorphisms/distributivity. Lecture Notes in Computer Science	2010-04-20	Paper
Unification modulo homomorphic encryption Frontiers of Combining Systems	2010-01-07	Paper
Closure properties and decision problems of dag automata Information Processing Letters	2009-12-04	Paper
Automata for Positive Core XPath Queries on Compressed Documents Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Intruders with Caps Lecture Notes in Computer Science	2008-01-02	Paper
Mathematical Foundations of Computer Science 2003 Lecture Notes in Computer Science	2007-12-07	Paper
Unification modulo ACUI plus distributivity axioms Journal of Automated Reasoning	2005-05-17	Paper
A rewrite mechanism for logic programs with negation Theoretical Computer Science	1998-08-13	Paper
Automated proofs of the Moufang identities in alternative rings Journal of Automated Reasoning	1990-01-01	Paper

Research outcomes over time

This page was built for person: Siva Anantharaman