البرمجة, الدوائر الرقمية, المنطق الرياضي, علوم الحاسوب, نظرية الحوسبةالكمال الوظيفي (Functional Completeness)
الرياضيات, المنطق, علوم الحاسوب, نظرية الحوسبةالصيغة المعيارية (إعادة الكتابة المجردة) (Normal Form (abstract rewriting))
الأنظمة المتزامنة, علوم الحاسوب, لغات البرمجة, نظرية الحوسبةلغة العمليات الزمنية (Temporal Process Language)
آلة تورينج, علوم الحاسوب, نظرية الحوسبة, نماذج الحسابآلة تورينج متعددة الأشرطة (Multi-tape Turing Machine)