Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 5
Results: 11
P<sup>f</sup> ≠ NP<sup>f</sup> for almost all f.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 536, doi. 10.1002/malq.200310057
- By:
- Publication type:
- Article
New sequent calculi for Visser's Formal Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 525, doi. 10.1002/malq.200310056
- By:
- Publication type:
- Article
A note on dual-intuitionistic logic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 519, doi. 10.1002/malq.200310055
- By:
- Publication type:
- Article
On the regular extension axiom and its variants.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 511, doi. 10.1002/malq.200310054
- By:
- Publication type:
- Article
Computable choice functions for computable linear orderings.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 485, doi. 10.1002/malq.200310053
- By:
- Publication type:
- Article
Some results on Kripke models over an arbitrary fixed frame.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 479, doi. 10.1002/malq.200310052
- By:
- Publication type:
- Article
Some remarks on indiscernible sequences.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 475, doi. 10.1002/malq.200310051
- By:
- Publication type:
- Article
Sequent systems for compact bilinear logic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 467, doi. 10.1002/malq.200310050
- By:
- Publication type:
- Article
Metric spaces and the axiom of choice.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 455, doi. 10.1002/malq.200310049
- By:
- Publication type:
- Article
Choice principles for special subsets of the real line.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 444, doi. 10.1002/malq.200310048
- By:
- Publication type:
- Article
Translations from natural deduction to sequent calculus.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 435, doi. 10.1002/malq.200310047
- By:
- Publication type:
- Article