Mathematical Logic in Computer Science
Not on the map. Why?
Abstract (arXiv)
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). First posted on arXiv 7 Feb 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1; 2022: 2; 2023: 0; 2024: 0; 2025: 1.
4 papers.
- 2022Logic-Based Explainability in Machine Learningcited by 48
- 2022On verifying expectations and observations of intelligent agentscited by 2
- 2025Curriculum Abductive Learningcited by 1
- 2021The Possibilistic Horn Non-Clausal Knowledge Basescited by 0
- 2025Curriculum Abductive Learning18 May 2025
- 2022Logic-Based Explainability in Machine Learning24 Oct 2022
- 2022On verifying expectations and observations of intelligent agents2 May 2022
- 2021The Possibilistic Horn Non-Clausal Knowledge Bases15 Nov 2021