理论A与理论B的起源和应用？

在最近的几个问题（q1 q2）中，已经讨论了“理论A”与“理论B”，似乎是为了捕捉逻辑和编程语言的研究与算法和复杂性的研究之间的鸿沟。

这个术语对我来说是新的，快速的网络搜索并没有提供任何明显的参考资料来解释它。

有谁知道一个或多个解释该术语起源的参考文献，通过进行这种区分可带来什么实质性好处？

它来自理论计算机科学手册，该手册分为两卷：A用于算法和复杂性，B用于逻辑和语义。

Jukka，ICALP早于此吗？还是对此做出回应？

至于收益，我认为在根据感兴趣的主题和学习形式进行分类的领域中总会有一些效用。但是，与所有分类方法一样，当您忘记“往后退并往另一边走”时，问题就来了：）。

编辑：正如ICALP明确指出的那样，该部门来自Elsevier杂志《理论计算机科学》，该书本身早于该手册，因此我认为这是更准确的信息。

编辑++：从EATCS的历史中可以找到有关TCS的以下代码片段，该日记：

从那时起，仍然是总编辑的尼瓦特（M. Nivat）定期向理事会和大会报告，并偶尔在公告中报告-例如，当分成A部分（自动机，代数和算法）和B部分（逻辑，语义和（1991年10月第45号公告第2、3页）;

1991年第一次出现在期刊上。但是，该手册于1990年9月首次出版！

ICALP轨道A与B。