The Nondeterministic Information Logic NIL is PSPACE-complete - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stéphane Demri. The Nondeterministic Information Logic NIL is PSPACE-complete. Fundamenta Informaticae, 42(3-4):211-234, 2000.

@article{Demri00,
  title = {The Nondeterministic Information Logic NIL is PSPACE-complete},
  author = {Stéphane Demri},
  year = {2000},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/Demri00},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {42},
  number = {3-4},
  pages = {211-234},
}

runs on WebDSL