Scholar IQ
Try ScholarIQ free
Upload Records Snowball Search Search OpenAlex
About the database
ScholarIQanswers from OpenAlex

Nonconstructive tools for proving polynomial-time decidability

PaperCitations, authors & open-access status

Nonconstructive tools for proving polynomial-time decidability is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 236 citations, 1988 year and bronze oa status.

236
Citations
1988
Year
bronze
OA Status

Related on ScholarIQ

Michael A. Langston
Author
Formal Methods in Verification
Topic
Formal Methods in Verification
Topic
Complexity and Algorithms in Graphs
Topic
Advanced Graph Theory Research
Topic
470M+ articles · free account