The Complexity of the Max Word Problem and the Power of One-Way Interactive Proof Systems

Computational Complexity - Switzerland
doi 10.1007/bf01271372
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems

Transactions on Machine Learning and Artificial Intelligence
2019English

On Helping and Interactive Proof Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Constructive Proof of the Min-Max Theorem

Pacific Journal of Mathematics
Mathematics
1956English

The Word Problem and Power Problem in 1-Relator Groups Are Primitive Recursive

Pacific Journal of Mathematics
Mathematics
1975English

One Proof of the Gheorghiu Inequality

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
2016English

Statistical Proof? The Problem of Irreproducibility

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
2017English

Power of the Printed Word

IEEE Transactions on Professional Communication
Electronic EngineeringIndustrial RelationsElectrical
1982English

On the Complexity of the Robust Stability Problem for Linear Parameter Varying Systems

IFAC Proceedings Volumes
1996English

Describing the Complexity of Systems: Multivariable “Set Complexity” and the Information Basis of Systems Biology

Journal of Computational Biology
GeneticsMolecular BiologyComputational TheorySimulationComputational MathematicsMathematicsModeling
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy