Komplexität von Entscheidungsproblemen. Ein Seminar

MaRDI QIDQ1226083zbMATH OpenFDO

Authors

Publication date 1976

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Statistical decision theory (62Cxx) Decision theory (91B06)

Cited in

(8)

• The complexity of the word problem for abelian l-groups
• Dominoes and the complexity of subclasses of logical theories
• Size-depth tradeoff in non-monotone Boolean formulae
• On time hierarchies
• The equivalence of Horn and network complexity for Boolean functions
• A Bound on Solutions of Linear Integer Equalities and Inequalities
• On genuinely time bounded computations
• A decision algorithm for linear sentences on a PFM

This page was built for publication: Komplexität von Entscheidungsproblemen. Ein Seminar

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1226083)