A DECISION PROCEDURE FOR SET-THEORETIC FORMULAE INVOLVING RANK AND CARDINALITY COMPARISON (CLASSIC REPRINT)

DECISION ALGORITHMS FOR SOME FRAGMENTS O (PB)

DECISION ALGORITHMS FOR SOME FRAGMENTS OF ANALYSIS AND RELATED AREAS

DECISION ALGORITHMS FOR SOME FRAGMENTS OF ANALYSIS AND RELATED AREAS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLA (PB)

DECISION PROCEDURES FOR ELEMENTARY SUBLA (PB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. V. MULTILEVEL SYLLOGISTIC EXTENDED BY THE GENERAL UNION OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. X. MULTILEVEL SYLLOGISTIC EXTENDED BY THE SINGLETON AND POWERSET OPERATORS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. X. MULTILEVEL SYLLOGISTIC EXTENDED BY THE SINGLETON AND POWERSET OPERATORS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XI. MULTILEVEL SYLLOGISTIC EXTENDED BY SOME ELEMENTARY MAP CONSTRUCTS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XI. MULTILEVEL SYLLOGISTIC EXTENDED BY SOME ELEMENTARY MAP CONSTRUCTS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XIV. THREE LANGUAGES INVOLVING RANK RELATED CONSTRUCTS

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. XIV. THREE LANGUAGES INVOLVING RANK RELATED CONSTRUCTS (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY; VI; MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR (CLASSIC REPRINT)

NETWORKS AND ALGORITHMS FOR VERY LARGE SCALE PARALLEL COMPUTATION

NETWORKS AND ALGORITHMS FOR VERY LARGE SCALE PARALLEL COMPUTATION (HB)

ON GENERATORS OF THE BANACH ALGEBRA L1 (0, OO) AND RELATED QUESTIONS

ON GENERATORS OF THE BANACH ALGEBRA L1 (0, OO) AND RELATED QUESTIONS (HB)

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM (HB)

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM - PRIMARY SOURCE EDITION

ON THE DECIDABILITY OF PRESBURGER ARITHMETIC WITH HOMOGENEOUS EXPONENTIATION (CLASSIC REPRINT)

ON THE EXISTENCE AND SYNTHESIS OF MULTIFINGER POSITIVE GRIPS

ON THE EXISTENCE AND SYNTHESIS OF MULTIFINGER POSITIVE GRIPS (HB)

PRECISE IMPLEMENTATION OF CAD PRIMITIVES USING RATIONAL PARAMETRIZATIONS OF STANDARD SURFACES

PRECISE IMPLEMENTATION OF CAD PRIMITIVES USING RATIONAL PARAMETRIZATIONS OF STANDARD SURFACES (HB)

PRELIMINARY IMPLEMENTATION OF A RATIO IMAGE DEPTH SENSOR

PRELIMINARY IMPLEMENTATION OF A RATIO IMAGE DEPTH SENSOR (HB)

PROGRAMMING WITH SETS (HB)

ROBOTICS RESEARCH TECHNICAL REPORT

ROBOTICS RESEARCH TECHNICAL REPORT

SET-THEORETIC REDUCTIONS OF HILBERT''S TE (PB)

SOME DECIDABILITY RESULTS ON QUANTIFIED SUBLANGUAGES OF SET THEORY (CLASSIC REPRINT)

STRUCTURED LIGHT SENSORS FOR 3-D ROBOT VISION (CLASSIC REPRINT)

THE AUTOMATION OF SYLLOGISTIC, VOL. 2: O (PB)