Mathematical Structures in Computer Science Journal Issues Research Articles in August 2024 Special Issue Entitled WoLLIC 2022
January 13, 2025
January 13, 2025
CAMBRIDGE, England, Jan. 13 -- Mathematical Structures in Computer Science, a peer-reviewed journal of theoretical computer science that focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science, published research articles on the following topics in its August 2024 special issue (Vol. 34, Special Issue 7) entitled WoLLIC 2022:
Special Issue: WoLLIC 2022
* Abstract cyclic proofs
* Witnessing flows . . .
Special Issue: WoLLIC 2022
* Abstract cyclic proofs
* Witnessing flows . . .