Ground Reducibility is EXPTIME-Complete - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Hubert Comon, Florent Jacquemard. Ground Reducibility is EXPTIME-Complete. In LICS. pages 26-34, 1997. [doi]

@inproceedings{ComonJ97:0,
  title = {Ground Reducibility is EXPTIME-Complete},
  author = {Hubert Comon and Florent Jacquemard},
  year = {1997},
  url = {http://www.computer.org/proceedings/lics/7925/79250026abs.htm},
  tags = {completeness},
  researchr = {https://researchr.org/publication/ComonJ97%3A0},
  cites = {0},
  citedby = {0},
  pages = {26-34},
  booktitle = {LICS},
}

runs on WebDSL