Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main...

on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended...

from fields such as logic, set theory, model theory, category theory, etc. It has close links with other areas of computer science such as programming...

In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the...

In logic and computer science, specifically automated reasoning, unification is an algorithmic process of solving equations between symbolic expressions...

proof) lies behind the applications of linear logic in computer science, since it allows the logic to be used in proof search and as a resource-aware lambda-calculus...

multiple types (e.g., additive vs. multiplicative). Used in: Computer science, concurrency, quantum logic. Constructive set theory (e.g., CZF — Constructive...

temporal logic (PTL). In terms of expressive power, LTL is a fragment of first-order logic. LTL was first proposed for the formal verification of computer programs...

multiple inheritance". Proceedings. Fourth Annual Symposium on Logic in Computer Science. pp. 92–97. doi:10.1109/LICS.1989.39162. Lämmel, Ralf; Visser...

also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category...

Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the...

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

Constructive S4 Modal Logic (PDF). Proceedings of the 15th International Workshop on Computer Science Logic. Lecture Notes in Computer Science. doi:10.1007/3-540-44802-0_21...

This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association...

Christopher P. (1979). Edinburgh LCF: A Mechanised Logic of Computation. Lecture Notes in Computer Science. Vol. 78. Berlin Heidelberg: Springer. doi:10.1007/3-540-09724-4...

combinatory logic. The upshot of these historical contingencies was that until theoretical computer science began taking an interest in combinatory logic in the...

"Local Action and Abstract Separation Logic" (PDF). 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007). pp. 366–378. CiteSeerX 10.1...

In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn...

In other words, sequential logic has memory while combinational logic does not. Combinational logic is used in computer circuits to perform Boolean algebra...

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification...

Correct Program Development in Computational Logic". Program Development in Computational Logic. Lecture Notes in Computer Science. Vol. 3049. pp. 1–29. doi:10...

In computer science, algebraic semantics is a formal approach to programming language theory that uses algebraic methods for defining, specifying, and...

using branching time temporal logic" (PDF). Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science. Vol. 131. Springer, Berlin....

mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is an alternative term for "logic in computer science". Computational...

electronics, digital logic and design, software engineering, database systems and core subjects of theoretical computer science such as theory of computation...

Used in digital computer systems. Graph theory – Foundations for data structures and searching algorithms. Mathematical logic – Boolean logic and other...

on Logic In Computer Science: 17-26. ISBN 978-0-7695-3746-7. G. Japaridze, Introduction to computability logic. Annals of Pure and Applied Logic 123...

In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs...

systems, logic in computer science, and computational complexity. Kolaitis obtained a bachelor's degree in mathematics from the University of Athens in 1973...

theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the...