Hierarchies of complete problems

Name: Hierarchies of complete problems
Creator: Zvi Galil
Keywords: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, Algorithms in computer science, 01 natural sciences, Theorem proving (deduction, resolution, etc.)

Zvi Galil

Found an issue? Give us feedback

Acta Informaticaarrow_drop_down

Acta Informatica

Article . 1976 . Peer-reviewed

License: Springer TDM

Data sources: Crossref

zbMATH Open

Article

Data sources: zbMATH Open

DBLP

Article

Data sources: DBLP

https://dx.doi.org/10.1007/bf0...

Article

Data sources: Microsoft Academic Graph

Hierarchies of complete problems

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1976 English Publisher:Springer Science and Business Media LLCJournal:Acta Informatica, volume 6, pages 77-88 (issn: 0001-5903, eissn: 1432-0525,

Copyright policy )

Authors: Zvi Galil;

doi: 10.1007/bf00263744

Hierarchies of complete problems

- Summary
- Subjects
- Metrics

Abstract

An attempt is made to present a framework for the diverse complete problems that have been found. A new concept--a Hierarchy of Complete Problems is defined. Several hierarchies in various domains such as graph theory, automata theory, theorem proving and games are established.

Related Organizations

IBM (United States)
United States

Keywords

Formal languages and automata, Algorithms in computer science, Theorem proving (deduction, resolution, etc.)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	27
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average