DECISION PROBLEM FOR SEPARATED DISTRIBUTIVE LATTICESGUREVICH Y.1983; JOURNAL OF SYMBOLIC LOGIC; ISSN 0022-4812; USA; DA. 1983; VOL. 48; NO 1; PP. 193-196; BIBL. 10 REF.Article

EXPANDED THEORY OF ORDERED ABELIAN GROUPS.GUREVICH Y.1977; ANN. MATH. LOGIC; NETHERL.; DA. 1977; VOL. 12; NO 2; PP. 193-228; BIBL. 17 REF.Article

CRUMBLY SPACESGUREVICH Y.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 104; PP. 179-191; BIBL. 2 REF.Conference Paper

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

MONADIC THEORY OF ORDER AND TOPOLOGY IN ZFCGUREVICH Y; SHELAH S.1982; ANNALS OF MATHEMATICAL LOGIC; ISSN 0003-4843; NLD; DA. 1982; VOL. 23; NO 2-3; PP. 179-198; BIBL. 12 REF.Article

THE INFERENCE PROBLEM FOR TEMPLATE DEPENDENCIESGUREVICH Y; LEWIS AR.1982; SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS/1982-03-29/LOS ANGELES CA; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1982; PP. 221-229; BIBL. 10 REF.Conference Paper

CONSTRUCTING AN OPTIMAL FLEET FOR A TRANSPORTATION SCHEDULE.GERTSBACH I; GUREVICH Y.1977; TRANSPORT. SCI.; U.S.A.; DA. 1977; VOL. 11; NO 1; PP. 20-36; BIBL. 4 REF.Article

Randomizing reductions of search problemsBLASS, A; GUREVICH, Y.SIAM journal on computing (Print). 1993, Vol 22, Num 5, pp 949-975, issn 0097-5397Article

On Matijasevitch's nontraditional approach to search problemsBLASS, A; GUREVICH, Y.Information processing letters. 1989, Vol 32, Num 1, pp 41-45, issn 0020-0190Article

Time polynomial in input or outputGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1989, Vol 54, Num 3, pp 1083-1088, issn 0022-4812Article

The notion of independence in categories of algebraic structures. I: Basic propertiesSROUR, G; GUREVICH, Y.Annals of pure and applied logic. 1988, Vol 38, Num 2, pp 185-213, issn 0168-0072Article

The Decision Problem for Linear Temporal LogicBURGESS, J. P; GUREVICH, Y.Notre Dame Journal of Formal Logic Notre-Dame, Ind. 1985, Vol 26, Num 2, pp 115-128Article

Random models and the Gödel case of the decision problemGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1120-1124, issn 0022-4812Article

On the strength of the interpretation methodGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 305-323, issn 0022-4812, 19 p.Article

Monotone versus positiveAJTAI, M; GUREVICH, Y.Journal of the Association for Computing Machinery. 1987, Vol 34, Num 4, pp 1004-1015, issn 0004-5411Article

The decision problem for branching time logicGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 668-681, issn 0022-4812Article

The Decision Problem for Linear Temporal LogicBURGESS, J. P; GUREVICH, Y.Notre Dame journal of formal logic. 1985, Vol 26, Num 2, pp 115-128, issn 0029-4527Article

The word problem for cancellation semigroups with zeroGUREVICH, Y; LEWIS, H. R.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 184-191, issn 0022-4812Article

Equivalence relations, invariants, and normal formsBLASS, A; GUREVICH, Y.SIAM journal on computing (Print). 1984, Vol 13, Num 4, pp 682-689, issn 0097-5397Article

Datalog vs first-order logicAJTAI, M; GUREVICH, Y.Journal of computer and system sciences (Print). 1994, Vol 49, Num 3, pp 562-588, issn 0022-0000Article

Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work spaceGUREVICH, Y; SHELAH, S.Journal of the Association for Computing Machinery. 1990, Vol 37, Num 3, pp 674-687, issn 0004-5411, 14 p.Article

Fixed-point extensions of first-order logicGUREVICH, Y; SHELAH, S.Annals of pure and applied logic. 1986, Vol 32, Num 3, pp 265-280, issn 0168-0072Article

Henkin quantifiers and complete problemsBLASS, A; GUREVICH, Y.Annals of pure and applied logic. 1986, Vol 32, Num 1, pp 1-16, issn 0168-0072Article

Interpreting second-order logic in the monadic theory of orderGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 816-828, issn 0022-4812Article

Electron gas heating by a dc electric field in submicron semiconductor layersGUREVICH, Y. G; LOGVINOV, G. N.Physics letters. A. 1991, Vol 155, Num 4-5, pp 321-324, issn 0375-9601, 4 p.Article