|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
24 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A first order logic for specification of timed algorithms: basic properties and a decidable class |
Beauquier, Danièle |
2001 |
113 | 1-3 |
p. 13-52 40 p. |
article |
|
| 2 | A general condition for collapse results |
Taitslin, Michael A. |
2001 |
113 | 1-3 |
p. 323-330 8 p. |
article |
|
| 3 | A(nother) characterization of intuitionistic propositional logic |
Iemhoff, Rosalie |
2001 |
113 | 1-3 |
p. 161-173 13 p. |
article |
|
| 4 | Arithmetic complexity of the predicate logics of certain complete arithmetic theories |
Plisko, Valery |
2001 |
113 | 1-3 |
p. 243-259 17 p. |
article |
|
| 5 | Author index |
2001 |
113 | 1-3 |
p. 399-400 2 p. |
article |
||
| 6 | Coercion completion and conservativity in coercive subtyping |
Soloviev, Sergei |
2001 |
113 | 1-3 |
p. 297-322 26 p. |
article |
|
| 7 | Complexity of Null- and Positivstellensatz proofs |
Grigoriev, Dima |
2001 |
113 | 1-3 |
p. 153-160 8 p. |
article |
|
| 8 | Complexity of t-tautologies |
Baaz, Matthias |
2001 |
113 | 1-3 |
p. 3-11 9 p. |
article |
|
| 9 | Computational complexity of quantifier-free negationless theory of field of rational numbers |
Kossovski, Nikolai |
2001 |
113 | 1-3 |
p. 175-180 6 p. |
article |
|
| 10 | Contents |
2001 |
113 | 1-3 |
p. v-vi nvt p. |
article |
||
| 11 | Dual realizability in symmetric logic |
Zaslavsky, I.D. |
2001 |
113 | 1-3 |
p. 389-397 9 p. |
article |
|
| 12 | Finite methods in 1-order formalisms |
Gordeev, L. |
2001 |
113 | 1-3 |
p. 121-151 31 p. |
article |
|
| 13 | Interpolation theorems for intuitionistic predicate logic |
Mints, G. |
2001 |
113 | 1-3 |
p. 225-242 18 p. |
article |
|
| 14 | Logic of proofs and provability |
Yavorskaya (Sidon), Tatiana |
2001 |
113 | 1-3 |
p. 345-372 28 p. |
article |
|
| 15 | MAX SAT approximation beyond the limits of polynomial-time approximation |
Dantsin, Evgeny |
2001 |
113 | 1-3 |
p. 81-94 14 p. |
article |
|
| 16 | On a finitary version of mathematical analysis |
Shanin, N.A. |
2001 |
113 | 1-3 |
p. 261-295 35 p. |
article |
|
| 17 | On calculational proofs |
Lifschitz, Vladimir |
2001 |
113 | 1-3 |
p. 207-224 18 p. |
article |
|
| 18 | Preface |
Matiyasevich, Yuri |
2001 |
113 | 1-3 |
p. 1- 1 p. |
article |
|
| 19 | Provability logics with quantifiers on proofs |
Yavorsky, Rostislav E. |
2001 |
113 | 1-3 |
p. 373-387 15 p. |
article |
|
| 20 | The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete |
Beltiukov, Anatoly P. |
2001 |
113 | 1-3 |
p. 53-58 6 p. |
article |
|
| 21 | The single-conclusion proof logic and inference rules specification |
Krupski, Vladimir N. |
2001 |
113 | 1-3 |
p. 181-206 26 p. |
article |
|
| 22 | The Woods–Erdös conjecture for polynomial rings |
Vsemirnov, Maxim |
2001 |
113 | 1-3 |
p. 331-344 14 p. |
article |
|
| 23 | Towards logical operations research—propositional case |
Davydov, Gennady |
2001 |
113 | 1-3 |
p. 95-119 25 p. |
article |
|
| 24 | Window-accumulated subsequence matching problem is linear |
Boasson, Luc |
2001 |
113 | 1-3 |
p. 59-80 22 p. |
article |
24 results found