Asal dan aplikasi Teori A vs Teori B?

Dalam beberapa pertanyaan terakhir ( q1 q2 ), telah ada diskusi tentang "Teori A" vs "Teori B", yang tampaknya menangkap kesenjangan antara studi logika dan bahasa pemrograman dan studi tentang algoritma dan kompleksitas.

Terminologi ini baru bagi saya, dan pencarian web cepat tidak menghasilkan referensi yang jelas untuk menjelaskannya.

Adakah yang tahu tentang referensi atau referensi yang menjelaskan asal usul terminologi ini, dan apa, jika ada, manfaat substantif yang dimaksudkan berasal dari membuat perbedaan ini?

Itu berasal dari buku pegangan tentang ilmu komputer teoretis , yang memiliki dua volume: A adalah untuk algoritma dan kompleksitas, dan B adalah untuk logika dan semantik.

Jukka, apakah ICALP mendahului ini? Atau apakah itu menanggapi hal ini?

Adapun manfaat, saya pikir selalu ada beberapa utilitas dalam bidang taksonomi berdasarkan topik yang menarik, dan bentuk studi. Namun, seperti halnya semua taksonomi, masalah muncul ketika Anda lupa untuk "naik ke atas pohon dan turun ke sisi lain" :).

EDIT : seperti yang dinyatakan ICALP secara eksplisit, divisi ini berasal dari jurnal Elsevier Theoretical Computer Science , yang dengan sendirinya mendahului buku pegangan, jadi saya pikir itu sumber yang lebih akurat.

EDIT ++ : Dari sejarah EATCS, muncul cuplikan tentang TCS ini, jurnal:

Sejak saat itu M. Nivat, yang masih menjabat sebagai Pemimpin Redaksi telah melaporkan secara teratur kepada dewan dan majelis umum dan kadang-kadang dalam Buletin - misalnya ketika dipecah menjadi bagian A (automata, aljabar und algoritma) dan B (logika, semantik, dan topik terkait) diputuskan (Bulletin no. 45, hal.2,3, Oktober 1991);

yang menghasilkan 1991 seperti ketika ini pertama kali mulai terjadi di jurnal. Namun, Buku Pegangan ini pertama kali diterbitkan pada bulan September 1990!

ICALP track A vs B.