Veena Ravishankar

Identifiers

No identifiers captured yet.

Papers (2)

1. On Asymmetric Unification for the Theory of XOR with a Homomorphism cs.CC · 2019 · author #5
2. Asymmetric Unification and Disunification cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Paliath Narendran 2 shared papers
• Andrew M. Marshall 1 shared papers
• Catherine Meadows 1 shared papers
• Christopher Lynch 1 shared papers
• Kimberly A. Gero 1 shared papers