Logic In Computer Science Category

Information About ^{^™}

Logic In Computer Science Category


Abstract Family Of Languages	Abstract Interpretation	Abstraction Model Checking
Algebraic Semantics	Assertion Computing	Axiomatic Semantics
Backward Chaining	Bisimulation	Boolean Satisfiability Problem
Bunched Logic	Combinatory Logic	Computational Tree Logic
Ctl	Curry–howard	Denotational Semantics
Denotational Semantics Of The Actor Model	Duration Calculus	Dynamic Logic Modal Logic
Event Calculus	Fair Computational Tree Logic	Fluent Artificial Intelligence
Formal Semantics Of Programming Languages	Formal Verification	Forward Chaining
Fuzzy Logic	Game Semantics	Geometry Of Interaction
Hazard Logic	Herbrand Award	Hoare Logic
Horn Clause	Horn-satisfiability	Intuitionistic Logic
Intuitionistic Type Theory	Isabelle Theorem Prover	Karnaugh Map
Lcf Theorem Prover	Logic In Computer Science	Maximum Satisfiability Problem
Model Checking	Normalization Property Lambda-calculus	Obj
Operational Semantics	Partial Order Reduction	Postcondition
Precondition	Predicate Transformer Semantics	Preferential Entailment
Presburger Arithmetic	Probabilistic Ctl	Proof Complexity
Proofs And Refutations	Race Condition	Rewriting
Runtime Verification	Satisfiability Modulo Theories	Separation Logic
Star-free Language	Structural Induction	Sufficiently Connected
Twelf	Typed Lambda Calculus	Unit Propagation
Walksat	Weakest Liberal Precondition	Weakest Precondition

	CATEGORIES ABOUT LOGIC IN COMPUTER SCIENCE

	logic in computer science

	formal methodslogic in computer science

	formal methods

	mathematical logic

	theoretical computer science

	mathematics of computing