Works matching IS 10723374 AND DT 2009 AND VI 158 AND IP 5

Results: 15

Logical equations in monadic logic.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 741, doi. 10.1007/s10958-009-9400-8

By:

Mints, G.;
Hoshi, T.

Publication type:

Article

Nonmaximal decidable structures.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 615, doi. 10.1007/s10958-009-9399-x

By:

Bès, A.;
Cégielski, P.

Publication type:

Article

Faster subsequence recognition in compressed strings.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 759, doi. 10.1007/s10958-009-9396-0

By:

Tiskin, A.

Publication type:

Article

Time hierarchies for cryptographic function inversion with advice.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 633, doi. 10.1007/s10958-009-9403-5

By:

Grigoriev, D. Yu.;
Hirsch, E. A.;
Pervyshev, K. V.

Publication type:

Article

Proof compressions with circuit-structured substitutions.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 645, doi. 10.1007/s10958-009-9405-3

By:

Gordeev, L.;
Haeusler, E. H.;
da Costa, V. G.

Publication type:

Article

The decision problem for some logics for finite words on infinite alphabets.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 659, doi. 10.1007/s10958-009-9407-1

By:

Choffrut, Ch.;
Grigorieff, S.

Publication type:

Article

Complexity of the identity checking problem for finite semigroups.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 605, doi. 10.1007/s10958-009-9397-z

By:

Almeida, J.;
Volkov, M. V.;
Goldberg, S. V.

Publication type:

Article

The lengths of proofs: Kreisel’s conjecture and Gödel’s speed-up theorem.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 689, doi. 10.1007/s10958-009-9408-0

By:

Cavagnetto, S.

Publication type:

Article

Fuzzy constructive logic.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 677, doi. 10.1007/s10958-009-9410-6

By:

Zaslavsky, I. D.

Publication type:

Article

On equations in free semigroups with certain constraints on their solutions.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 671, doi. 10.1007/s10958-009-9409-z

By:

Durnev, V. G.;
Zetkina, O. V.

Publication type:

Article

Tree inclusions in windows and slices.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 623, doi. 10.1007/s10958-009-9401-7

By:

Guessarian, I.;
Cégielski, P.

Publication type:

Article

In some curved spaces, one can solve NP-hard problems in polynomial time.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 727, doi. 10.1007/s10958-009-9402-6

By:

Kreinovich, V.;
Margenstern, M.

Publication type:

Article

Borel reducibility as an additive property of domains.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 708, doi. 10.1007/s10958-009-9406-2

By:

Kanovei, V. G.;
Lyubetsky, V. A.

Publication type:

Article

Defining the integers in large rings of a number field using one universal quantifier.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 713, doi. 10.1007/s10958-009-9404-4

By:

Cornelissen, G.;
Shlapentokh, A.

Publication type:

Article

On a class of bases for boolean functions.

Published in:

Journal of Mathematical Sciences, 2009, v. 158, n. 5, p. 753, doi. 10.1007/s10958-009-9398-y

By:

Skordev, D.

Publication type:

Article