REPRESENTATION OF ONE-ONE DEGREES BY DECISION PROBLEMS FOR SYSTEM FUNCTIONSTHURAISINGHAM MB.1982; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1982; VOL. 24; NO 3; PP. 373-377; BIBL. 8 REF.Article

COMPLEXITE ALGORITHMIQUE DE LA THEORIE DE DEUX BIJECTIONS QUI COMMUTENT = ALGORITHMIC COMPLEXITY OF THE THEORY OF TWO COMMUTING BIJECTIONSPELZ ELIZABETH.1982; ; FRA; DA. 1982; 48 P.; 30 CM; BIBL. 1 P.; TH. 3E CYCLE: MATH./PARIS 7/1982Thesis

ABSOLUTE PRIMALITY OF POLYNOMIALS IS DECIDABLE IN RANDOM POLYNOMIAL TIME IN THE NUMBER OF VARIABLESHEINTZ J; SIEVEKING M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 16-28; BIBL. 10 REF.Conference Paper

DECIDABILITY FOR BRANCHING TIMEBURGESS JP.1980; STUD. LOGICA; POL; DA. 1980; VOL. 39; NO 2-3; PP. 203-218; BIBL. 3 REF.Article

DECISION COMPLEXICITY OF VARIANTS OF PROPOSITIONAL DYNAMIC LOGICVALIEV MK.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 656-664; BIBL. 10 REF.Conference Paper

GENERALIZED HAERTIG QUANTIFIERSHAUSCHILD K.1980; BULL. ACAD. POL. SCI., SCI. MATH.; POL; DA. 1980; VOL. 28; NO 11-12; PP. 523-528; ABS. RUS; BIBL. 5 REF.Article

ON THE ELEMENTARY THEORY OF QUADRUPLES OF VECTOR SPACESBAUR W.1980; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1980; VOL. 19; NO 3; PP. 243-262; BIBL. 7 REF.Article

THE R.E. COMPLEXITY OF DECISION PROBLEMS FOR COMMUTATIVE SEMI-THUE SYSTEMS WITH RECURSIVE RULE SETBOERGER E; BUENING HK.1980; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1980; VOL. 26; NO 5; PP. 459-469; BIBL. 9 REF.Article

DOMAIN RESTRICTIONS IN STANDARD DEDUCTIVE LOGICSWIGGART P.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 115-129; BIBL. 13 REF.Article

SENTENCES WITH THREE QUANTIFIERS ARE DECIDABLE IN SET THEORYGOGOL D.1979; FUNDAM. MATH.; POL; DA. 1979; VOL. 102; NO 1; PP. 1-8; BIBL. 1 REF.Article

THEORIES WITH RECURSIVE MODELSLERMAN M; SCHMERL JH.1979; J. SYMBOL. LOGIC; USA; DA. 1979; VOL. 44; NO 1; PP. 59-76; BIBL. 10 REF.Article

AN UNDECIDABILITY RESULT FOR RELATION ALGEBRASSCHOENFELD W.1979; J. SYMBOL. LOGIC; USA; DA. 1979; VOL. 44; NO 1; PP. 111-115; BIBL. 7 REF.Article

DECIDABLE THEORIES.RABIN MO.1977; STUD. LOGIC FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 595-629; BIBL. 1 P. 1/2Article

THE DECIDABILITY OF SOME %₀-CATEGORICAL THEORIES.SCHMERL JH.1976; COLLOQ. MATH.; POLOGNE; DA. 1976; VOL. 36; NO 2; PP. 165-169; BIBL. 5 REF.Article

THE DECISION PROBLEM FOR STANDARD CLASSES.GUREVICH Y.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 460-464; BIBL. 8 REF.Article

INDISCERNIBLES AND DECIDABLE MODELSKIERSTEAD HA; REMMEL JB.1983; JOURNAL OF SYMBOLIC LOGIC; ISSN 0022-4812; USA; DA. 1983; VOL. 48; NO 1; PP. 21-32; BIBL. 7 REF.Article

PERSISTENTLY FINITE THEORIES WITH HYPERARITHMETIC MODELSMILLAR T.1983; TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY; ISSN 0002-9947; USA; DA. 1983; VOL. 278; NO 1; PP. 91-99; BIBL. 4 REF.Article

THE GOODNESS OF (S, A)-EOL FORMS IN DECIDABLEROZENBERG G; VERRAEDT R.1983; DISCRETE APPLIED MATHEMATICS; ISSN 0166-218X; NLD; DA. 1983; VOL. 6; NO 3; PP. 263-299; BIBL. 18 REF.Article

ON THE ELEMENTARY THEORY OF PAIRS OF REAL CLOSED FIELDS. IIBAUR W.1982; J. SYMB. LOGIC.; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 669-679; BIBL. 11 REF.Article

TWO UNDECIDABILITY RESULTS USING MODIFIED BOOLEAN POWERSBURRIS S; LAWRENCE J.1982; CAN. J. MATH.; ISSN 0008-414X; CAN; DA. 1982; VOL. 34; NO 2; PP. 500-505; BIBL. 7 REF.Article

ON THE DECIDABILITY OF THE THEORY OF LINEAR ORDERINGS WITH GENERALIZED QUANTIFIERSTUSCHIK HP.1980; FUADAM. MATH.; POL; DA. 1980; VOL. 107; NO 1; PP. 21-32; BIBL. 10 REF.Article

THE UNDECIDABILITY OF THE THIRD ORDER DYADIC UNIFICATION PROBLEMBAXTER LD.1978; INFORM. AND CONTROL; USA; DA. 1978; VOL. 38; NO 2; PP. 170-178; BIBL. 13 REF.Article

DECIDABILITY OF THE THEORY OF ABELIAN GROUPS WITH RAMSEY QUANTIFIERS.BAUDISCH A.1977; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 8; PP. 733-739; ABS. RUSSE; BIBL. 7 REF.Article

MONADIC SECOND ORDER LOGIC WITH AN ADDED QUANTIFIER Q.MIZUTANI C.1977; TSUKUBA J. MATH.; JPN; DA. 1977-12; VOL. 1; PP. 45-76; BIBL. 4 REF.Article

SECOND ORDER LOGIC, GENERALIZED QUANTIFIERS AND DECIDABILITY.SEESE DG.1977; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 8; PP. 725-732; ABS. RUSSE; BIBL. 14 REF.Article