Nonconstructive tools for proving polynomial-time decidability.
Michael R. Fellows, Michael A. Langston:
Nonconstructive tools for proving polynomial-time decidability.
J. ACM 35(3): 727-739(1988)@article{DBLP:journals/jacm/FellowsL88,
author = {Michael R. Fellows and
Michael A. Langston},
title = {Nonconstructive tools for proving polynomial-time decidability},
journal = {J. ACM},
volume = {35},
number = {3},
year = {1988},
pages = {727-739},
ee = {db/journals/jacm/FellowsL88.html, http://doi.acm.org/10.1145/44483.44491},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Ron van der Meyden:
The Complexity of Querying Indefinite Data about Linearly Ordered Domains.
PODS 1992: 331-345
BibTeX
Copyright © Sun May 17 00:05:46 2009
by Michael Ley (ley@uni-trier.de)