Unification Modulo Synchronous Distributivity - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. Unification Modulo Synchronous Distributivity. In Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, pages 14-29, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

Unification Modulo ACU I Plus Homomorphisms/DistributivitySiva Anantharaman, Paliath Narendran, Michaël Rusinowitch. cade 2003: 442-457 [doi]

Unification Modulo ::::ACUI:::: Plus Distributivity AxiomsSiva Anantharaman, Paliath Narendran, Michaël Rusinowitch. JAR, 33(1):1-28, 2004. [doi]

New Algorithms for Unification Modulo One-Sided Distributivity and Its VariantsAndrew M. Marshall, Paliath Narendran. cade 2012: 408-422 [doi]

Unification Modulo ChainingSiva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch. LATA 2012: 70-82 [doi]

Unification Modulo Homomorphic EncryptionSiva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. JAR, 48(2):135-158, 2012. [doi]

Unification Modulo Homomorphic EncryptionSiva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, MichaÃ«l Rusinowitch. frocos 2009: 100-116 [doi]

Unification and Matching Modulo NilpotenceQing Guo, Paliath Narendran, David A. Wolfram. cade 1996: 261-274

runs on WebDSL