# Category:Logic in computer science

From Infogalactic: the planetary knowledge core

**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:

- Those investigations into logic that are guided by applications in computer science. For example:
- Rewriting systems, Combinatory logic and Abstract interpretation;

- Fundamental concepts in computer science that are naturally expressible in logical form. For example:
- Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
- Tools for logicians considered as applied computer science. For example:

See also: Category:Finite model theory.

## Subcategories

This category has the following 11 subcategories, out of 11 total.

### A

### C

### D

### G

### L

### M

### P

### T

## Pages in category "Logic in computer science"

The following 67 pages are in this category, out of 67 total.