VOLUME 16

2011

NUMBERS 2–4

Unification Over Distributive Exponentiation (Sub)Theories

Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran

Pages 109–140

Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX

BibTeX:

@article{JALC-2011-109,
  author  = {Serdar Erbatur and Andrew M. Marshall and Deepak Kapur and Paliath Narendran},
  title   = {Unification Over Distributive Exponentiation (Sub)Theories},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {16},
  number  = {2--4},
  pages   = {109--140},
  year    = {2011},
  url     = {https://doi.org/10.25596/jalc-2011-109},
  doi     = {10.25596/jalc-2011-109}
}