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...

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

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

software engineering, database systems and core subjects of theoretical computer science such as theory of computation, numerical methods, machine learning...

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

Zuckerman is an American theoretical computer scientist whose work concerns randomness in computation. He is a professor of computer science at the University...

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

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

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

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...

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

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...

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

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

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

papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association...

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

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

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

Screening Test (JEST) is a national entrance test in physics and theoretical computer science conducted annually in India. The test is utilised by various...

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

Science Computers & Graphics Computing Cybernetics and Human Knowing Data Mining and Knowledge Discovery Discrete Mathematics & Theoretical Computer Science...

In theoretical computer science, a nondeterministic Turing machine (NTM) is a theoretical model of computation whose governing rules specify more than...

In theoretical computer science, the subgraph isomorphism problem is a computational task in which two graphs G {\displaystyle G} and H {\displaystyle...

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;...

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

theoretical computer science model (an abstract data type or ADT) intended to capture the essential properties of arrays. The first digital computers...

science, constructing numerical solutions and using computers to analyze and solve scientific and engineering problems Theoretical computer science,...

Conference Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational...