Juan Carlos - Academia.edu (original) (raw)

Papers by Juan Carlos

Research paper thumbnail of The HMG-CoA reductase inhibitor, atorvastatin, promotes a Th2 bias and reverses paralysis in central nervous system autoimmune disease

Research paper thumbnail of The complexity of theorem-proving procedures

It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Tur... more It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be "reduced" to the pro-blem of determining whether a given propositional formula is a tautology. Here "reduced" means, roughly speak-ing, that the first problem ...

Research paper thumbnail of The HMG-CoA reductase inhibitor, atorvastatin, promotes a Th2 bias and reverses paralysis in central nervous system autoimmune disease

Research paper thumbnail of The complexity of theorem-proving procedures

It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Tur... more It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be "reduced" to the pro-blem of determining whether a given propositional formula is a tautology. Here "reduced" means, roughly speak-ing, that the first problem ...