index terms collaborative colleagues
Primary Classification: F. Theory of Computation F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES F.4.1 Mathematical Logic Subjects: Logic and constraint programming
Additional Classification: F. Theory of Computation F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY F.2.2 Nonnumerical Algorithms and Problems Subjects: Computations on discrete structures
General Terms: Measurement, Performance, Theory, Verification