Logic in computer science (or computational logic) is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains:
This category has the following 20 subcategories, out of 20 total.
The following 101 pages are in this category, out of 101 total. This list may not reflect recent changes.
Logic in computer science (or computational logic) is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains:
This category has the following 20 subcategories, out of 20 total.
The following 101 pages are in this category, out of 101 total. This list may not reflect recent changes.