Происхождение и применение теории А против теории Б?

В паре недавних вопросов ( q1, q2 ) обсуждалась «Теория А» и «Теория В», по-видимому, чтобы уловить разрыв между изучением логики и языков программирования и изучением алгоритмов и сложности.

Эта терминология была для меня новой, и при быстром поиске в Интернете не было никаких явных ссылок, объясняющих это.

Кто-нибудь знает ссылку или ссылки, которые объясняют происхождение этой терминологии, и какую, если таковая имеется, существенную выгоду предполагается получить от проведения этого различия?

Он взят из справочника по теоретической информатике , который состоял из двух томов: «А» - для алгоритмов и сложности, «В» - для логики и семантики.

Юкка, ICALP предшествовал этому? Или это было в ответ на это?

Что касается преимуществ, я думаю, что всегда есть некоторая полезность в таксономизации областей, основанных на интересующих темах и формах изучения. Однако, как и в случае всех таксономизаций, проблема возникает, когда вы забыли «вернуться вверх по дереву и перейти на другую сторону» :).

РЕДАКТИРОВАТЬ : как прямо заявляет ICALP, это разделение взято из журнала Elsevier « Теоретическая компьютерная наука» , который сам предшествует руководству, так что я думаю, что это более точный источник.

РЕДАКТИРОВАТЬ ++ : Из истории EATCS взят этот фрагмент о TCS, журнал:

С тех пор М. Ниват, который до сих пор является главным редактором, регулярно отчитывается перед советом и общим собранием, а иногда и в Бюллетене - например, при разделении на разделы A (автоматы, алгебра и алгоритмы) и B (логика, семантика и смежные темы) (Бюллетень № 45, с. 2,3, октябрь 1991 г.);

который дает 1991, как когда это впервые начало происходить в журнале. Однако Руководство было впервые опубликовано в сентябре 1990 года!

ICALP трек A против B.