Works matching DE "RECURSIVELY enumerable sets"

Results: 84

Stage-by-stage guaranteeing innovation planning.

Published in:

Automation & Remote Control, 2010, v. 71, n. 8, p. 1590, doi. 10.1134/S0005117910080084

By:

Druzhinin, F.;
Tokarev, V.

Publication type:

Article

Nonterminal complexity of one-sided random context grammars.

Published in:

Acta Informatica, 2012, v. 49, n. 2, p. 55, doi. 10.1007/s00236-012-0150-6

By:

Meduna, Alexander;
Zemek, Petr

Publication type:

Article

Networks of evolutionary processors: the power of subregular filters.

Published in:

Acta Informatica, 2013, v. 50, n. 1, p. 41, doi. 10.1007/s00236-012-0172-0

By:

Dassow, Jürgen;
Manea, Florin;
Truthe, Bianca

Publication type:

Article

One-sided random context grammars.

Published in:

Acta Informatica, 2011, v. 48, n. 3, p. 149, doi. 10.1007/s00236-011-0134-y

By:

Meduna, Alexander;
Zemek, Petr

Publication type:

Article

RATIONAL SERIES WITH HIGH IMAGE COMPLEXITY.

Published in:

RAIRO - Theoretical Informatics & Applications, 2017, v. 51, n. 1, p. 1, doi. 10.1051/ita/2017001

By:

HONKALA, JUHA

Publication type:

Article

Branching in the $${\Sigma^0_2}$$ -enumeration degrees: a new perspective.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 3, p. 221, doi. 10.1007/s00153-008-0081-7

By:

Affatato, Maria L.;
Kent, Thomas F.;
Sorbi, Andrea

Publication type:

Article

Computable shuffle sums of ordinals.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 3, p. 211, doi. 10.1007/s00153-008-0077-3

By:

Kach, Asher M.

Publication type:

Article

A high noncuppable $${\Sigma^0_2}$$ e-degree.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 3, p. 181, doi. 10.1007/s00153-006-0021-3

By:

Giorgi, Matthew B.

Publication type:

Article

On the r.e. predecessors of d.r.e. degrees.

Published in:

Archive for Mathematical Logic, 1999, v. 38, n. 6, p. 373, doi. 10.1007/s001530050132

By:

Ishmukhametov, Shamil

Publication type:

Article

Some structural properties of quasi-degrees.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx058

By:

OMANADZE, ROLAND SH.

Publication type:

Article

Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic.

Published in:

Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4598, doi. 10.1007/s10958-005-0354-1

By:

Manukian, S.

Publication type:

Article

CUPPING THE RECURSIVELY ENUMERABLE DEGREES BY D.R.E. DEGREES.

Published in:

Proceedings of the London Mathematical Society, 1999, v. 79, n. 1, p. 1, doi. 10.1112/S0024611599011818

By:

LI, ANGSHENG;
YI, XIAODING

Publication type:

Article

ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS.

Published in:

Journal of Mathematical Logic, 2013, v. 13, n. 2, p. -1, doi. 10.1142/S0219061313500050

By:

DOWNEY, RODNEY G.;
JOCKUSCH, CARL G.;
SCHUPP, PAUL E.

Publication type:

Article

THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES.

Published in:

Journal of Mathematical Logic, 2006, v. 6, n. 1, p. 49, doi. 10.1142/S0219061306000505

By:

GREENBERG, NOAM;
SHORE, RICHARD A.;
SLAMAN, THEODORE A.

Publication type:

Article

Parameter Definability in the Recursively Enumerable Degrees.

Published in:

Journal of Mathematical Logic, 2003, v. 3, n. 1, p. 37, doi. 10.1142/S0219061303000236

By:

Nies, André

Publication type:

Article

ON A QUESTION OF KRAJEWSKI'S.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 343, doi. 10.1017/jsl.2018.72

By:

PAKHOMOV, FEDOR;
VISSER, ALBERT

Publication type:

Article

ON THE NON-ENUMERABILITY OF L.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1396, doi. 10.1017/jsl.2016.34

By:

SACKS, G. E.

Publication type:

Article

ON THE FINITE PRESENTATION OF SUBDIRECT PRODUCTS AND THE NATURE OF RESIDUALLY FREE GROUPS.

Published in:

American Journal of Mathematics, 2013, v. 135, n. 4, p. 891, doi. 10.1353/ajm.2013.0036

By:

BRIDSON, MARTIN R.;
HOWIE, JAMES;
Miller III, CHARLES F.;
SHORT, HAMISH

Publication type:

Article

RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS.

Published in:

Reports on Mathematical Logic, 2014, n. 49, p. 79, doi. 10.4467/20842589RM.14.005.2275

By:

MYCKA, Jerzy

Publication type:

Article

ARNOLD TONGUES AND FEIGENBAUM EXPONENTS OF THE RATIONAL MAPPING FOR Q-STATE POTTS MODEL ON RECURSIVE LATTICE:: Q < 2.

Published in:

Fractals, 2010, v. 18, n. 3, p. 371, doi. 10.1142/S0218348X10005007

By:

ANANIKYAN, L. N.;
ANANIKIAN, N. S.;
CHAKHMAKHCHYAN, L. A.

Publication type:

Article

Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees.

Published in:

Theory of Computing Systems, 2013, v. 52, n. 1, p. 2, doi. 10.1007/s00224-012-9424-1

By:

Ambos-Spies, Klaus;
Ding, Decheng;
Fan, Yun;
Merkle, Wolfgang

Publication type:

Article

Cupping ?20enumeration degrees to 0e??

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 169, doi. 10.1017/S0960129508007378

By:

MARIYA IVANOVA SOSKOVA;
GUOHUA WU

Publication type:

Article

The method of the Yu?Ding Theorem and its application.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 207, doi. 10.1017/S0960129508007275

By:

YUN FAN

Publication type:

Article

Principal filters definable by parameters in bT?

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 153, doi. 10.1017/S0960129508007354

By:

ANGSHENG LI;
WEILIN LI;
YICHENG PAN;
LINQING TANG

Publication type:

Article

Non-cupping, measure and computably enumerable splittings.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 25, doi. 10.1017/S0960129508007226

By:

GEORGE BARMPALIAS;
ANTHONY MORPHETT

Publication type:

Article

On universal computably enumerable prefix codes.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 45, doi. 10.1017/S0960129508007238

By:

CRISTIAN S. CALUDE;
LUDWIG STAIGER

Publication type:

Article

On generalisations of the notion of semirecursiveness.

Published in:

Discrete Mathematics & Applications, 2005, v. 15, n. 2, p. 201, doi. 10.1515/1569392053971497

By:

Degtev, A. N.

Publication type:

Article

Two-component composites whose effective conductivities are power means of the local conductivities.

Published in:

European Journal of Applied Mathematics, 2008, v. 19, n. 5, p. 507, doi. 10.1017/S095679250800747X

By:

ANNETTE MEIDELL;
RALPH H?IBAKK;
DAG LUKKASSEN;
GUY BEERI

Publication type:

Article

A Splitting with Infimum in the d-c. e. Degrees.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 53, doi. 10.1002/(SICI)1521-3870(200001)46:1<53::AID-MALQ53>3.0.CO;2-O

By:

Hong, Lu;
Decheng, Ding;
Lei, Qian

Publication type:

Article

Approaches to Effective Semi-Continuity of Real Functions.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 481, doi. 10.1002/malq.19990450407

By:

Zheng, Xizhong;
Brattka, Vasco;
Weihrauch, Klaus

Publication type:

Article

On a Class of Recursively Enumerable Sets.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 467, doi. 10.1002/malq.19990450405

By:

Didehvar, Farzad

Publication type:

Article

An Interval of Computably Enumerable Isolating Degrees.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 1, p. 59, doi. 10.1002/malq.19990450106

By:

Salts, Matthew C.

Publication type:

Article

Difference Sets and Recursion Theory.

Published in:

Mathematical Logic Quarterly, 1998, v. 44, n. 4, p. 515, doi. 10.1002/malq.19980440410

By:

Schmerl, James H.

Publication type:

Article

On the Universal Splitting Property.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 311, doi. 10.1002/malq.19970430303

By:

Downey, Rod

Publication type:

Article

On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 287, doi. 10.1002/malq.19970430302

By:

Copestake, Kate

Publication type:

Article

On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 83, doi. 10.1002/malq.19970430111

By:

Barback, Joseph

Publication type:

Article

Effective Nonrecursiveness.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 1, p. 45, doi. 10.1002/malq.19970430106

By:

Yamaguchi, Takeshi

Publication type:

Article

Intrinsically Hyperarithmetical Sets.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139

By:

Soskov, Ivan N.

Publication type:

Article

Strong Minimal Covers for Recursively Enumerable Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 191, doi. 10.1002/malq.19960420116

By:

Barry Cooper, S.

Publication type:

Article

Splittings of 0' into the Recursively Enumerable Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 249, doi. 10.1002/malq.19960420122

By:

Yi, Xiaoding

Publication type:

Article

The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 83, doi. 10.1002/malq.19960420108

By:

Laforte, Geoffrey

Publication type:

Article

Effectively and Noneffectively Nowhere Simple Sets.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 241, doi. 10.1002/malq.19960420121

By:

Harizanov, Valentina S.

Publication type:

Article

Some New Lattice Constructions in High R. E. Degrees.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 3, p. 395, doi. 10.1002/malq.19950410311

By:

Rolletschek, Heinrich

Publication type:

Article

Complete, Recursively Enumerable Relations in Arithmetic.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 65, doi. 10.1002/malq.19950410107

By:

D'Agostino, Giovanna;
Magnago, Mario

Publication type:

Article

Recursively Enumerable Equivalence Relations Modulo Finite Differences.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 4, p. 490, doi. 10.1002/malq.19940400407

By:

Nies, André

Publication type:

Article

Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 287, doi. 10.1002/malq.19940400302

By:

Ambos-Spies, Klaus;
Decheng, Ding

Publication type:

Article

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 95, doi. 10.1002/malq.19940400113

By:

Kotlarski, Henryk;
Piekart, Bożena

Publication type:

Article

System function languages.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 357, doi. 10.1002/malq.19930390140

By:

Thuraisingham, M. B.

Publication type:

Article

The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑<sub>5</sub>-Complete.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 87, doi. 10.1002/malq.19940400112

By:

Wehner, Stephan

Publication type:

Article

Isols and maximal intersecting classes.

Published in:

Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 67, doi. 10.1002/malq.19930390110

By:

Dekker, Jacob C. E.

Publication type:

Article