이론 A 대 이론 B의 기원과 적용?

최근 몇 가지 질문 ( q1 q2 )에서, "이론 A"와 "이론 B"에 대한 논의가 있었으며, 논리와 프로그래밍 언어에 대한 연구와 알고리즘과 복잡성에 대한 연구를 구분하는 것으로 보입니다.

이 용어는 나에게 새로운 것이었고, 빠른 웹 검색에는 그것을 설명하는 명백한 참고 문헌이 나오지 않았습니다.

이 용어의 기원을 설명하는 참조 또는 참조를 아는 사람이 있다면이 구별을 통해 얻을 수있는 실질적인 이점은 무엇입니까?

이론적 컴퓨터 과학에 대한 핸드북에서 나온 것입니다 . A는 알고리즘과 복잡성에 대한 것이고 B는 논리와 의미에 대한 것입니다.

Jukka, ICALP가 이것을 선행 했습니까? 아니면 이것에 대한 응답입니까?

이점에 관해서는, 나는 관심 주제와 연구 형태에 따라 분류하는 영역에 항상 유용성이 있다고 생각합니다. 그러나 모든 분류와 마찬가지로 "트리를 백업하고 반대쪽으로 이동"하는 것을 잊었을 때 문제가 발생합니다. :).

편집 : ICALP가 명시 적으로 언급 했듯이이 부서는 Elsevier 저널 Theorytical Computer Science 에서 온 것으로 핸드북보다 먼저 시작되었으므로 더 정확한 출처라고 생각합니다.

편집 ++ : EATCS 의 역사 에서 저널 인 TCS에 대한이 스 니펫이 제공됩니다.

그 이후로 여전히 편집장 인 M. Nivat는 협의회 및 총회에 그리고 때때로 게시판에 정기적으로보고 해 왔습니다. 관련 주제)가 결정되었다 (1991 년 10 월, No. 45, p.2,3).

저널에서 처음 시작된 1991 년의 결과입니다. 그러나 핸드북은 1990 년 9 월에 처음 출판되었습니다!

ICALP 트랙 A와 B.