ACM Transactions on Computational LogicAbstract rewriting systemAlgebraic semantics (computer science)Alternating-time Temporal LogicAnti-unification (computer science)Assertion (software development)Automated reasoningAxiomatic semanticsBisimulationBoolean circuitBoolean satisfiability problemBunched logicBüchi arithmeticCTL*Combinational logicCombinatory logicCombs methodCompCertComputability logicComputation tree logicComputational logicDecidable sublanguages of set theoryDenotational semanticsDershowitz–Manna orderingDiVincenzo's criteriaDynamic logic (modal logic)Event calculusFluent (artificial intelligence)Formal verificationForward chainingFrege systemFunctional completenessGame semanticsGeometry of interactionHOL (proof assistant)Hennessy–Milner logic
subject
broader
Wikipage page ID
Wikipage revision ID
546,492,580
type
label
Logic in computer science
@en
prefLabel
Logic in computer science
@en