Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation...

Theoretical Computer Science (TCS) is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The...

Fundamental areas of computer science Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines...

The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to...

statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory and theoretical linguistics...

Colloquium for Theoretical Computer Science (BCTCS) is an organisation, founded in 1985, that represents the interests of Theoretical Computer Science in the...

formal sciences are the branches of science that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information...

Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and...

games programming. CSE programs also include core subjects of theoretical computer science such as theory of computation, numerical methods, machine learning...

A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side...

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness...

Mathematics & Theoretical Computer Science is a peer-reviewed open access scientific journal covering discrete mathematics and theoretical computer science. It...

In formal languages, which are used in mathematical logic and theoretical computer science, a string is a finite sequence of symbols that are chosen from...

"perfect.". In addition some other major areas of theoretical overlap between logic and computer science are: Gödel's incompleteness theorem proves that...

California, Berkeley is an institute for collaborative research in theoretical computer science. Established on July 1, 2012 with a grant of $60 million from...

In general, computer science degree programs emphasize the mathematical and theoretical foundations of computing. Because computer science is a wide field...

in Theoretical Computer Science is a peer-reviewed scientific journal that publishes long survey and tutorial articles in the field of theoretical computer...

where he received a PhD in computer science in 1974. Valiant is world-renowned for his work in Theoretical Computer Science. Among his many contributions...

Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society...

Concurrency theory has been an active field of research in theoretical computer science. One of the first proposals was Carl Adam Petri's seminal work...

Electronic Proceedings in Theoretical Computer Science is an international, peer-reviewed, open access series published by Open Publishing Association...

geometrical objects, while computer image analysis applies them to representations of images. Theoretical computer science also includes the study of...

(1992). "Minimization of Acyclic automata in Linear Time". Theoretical Computer Science. 92: 181–189. doi:10.1016/0304-3975(92)90142-3. Kaeslin, Hubert...

for the semantics of computation: Part 3. Indexed categories". Theoretical Computer Science. 91 (2): 239–264. doi:10.1016/0304-3975(91)90085-G. Batty, Mark;...

Conference on Innovations in Theoretical Computer Science is an academic conference about theoretical computer science. The conference was initiated...

In computer science, recursion is a method of solving a computational problem where the solution depends on solutions to smaller instances of the same...

The Symposium on Theoretical Aspects of Computer Science (STACS) is an academic conference in the field of computer science. It is held each year, alternately...

Fernandez (2008). "A polynomial nominal unification algorithm". Theoretical Computer Science. 403 (2–3): 285–306. doi:10.1016/j.tcs.2008.05.012. Christophe...

In theoretical computer science a simulation is a relation between state transition systems associating systems that behave in the same way in the sense...

Investigator Program. In 1988, he was appointed to the Chair of Theoretical Computer Science at Goethe University Frankfurt. Mayr has held the Chair of Efficient...