Siva Anantharaman

Available identifiers

Publication	Date of Publication	Type
An application of automated equational reasoning to many-valued logic	2023-03-09	Paper
A rewrite mechanism for logic programs with negation	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	2016-09-29	Paper
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining	2014-03-24	Paper
Unification Modulo Synchronous Distributivity	2012-09-05	Paper
Unification modulo homomorphic encryption	2012-07-17	Paper
Unification Modulo Chaining	2012-06-08	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Unification Modulo Homomorphic Encryption	2010-01-07	Paper
Closure properties and decision problems of dag automata	2009-12-04	Paper
Automata for Positive Core XPath Queries on Compressed Documents	2008-05-27	Paper
Intruders with Caps	2008-01-02	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Unification modulo ACUI plus distributivity axioms	2005-05-17	Paper
A rewrite mechanism for logic programs with negation	1998-08-13	Paper
Automated proofs of the Moufang identities in alternative rings	1990-01-01	Paper

This page was built for person: Siva Anantharaman