Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Logic_in_computer_science> }
- ACM_Transactions_on_Computational_Logic wikiPageWikiLink Category:Logic_in_computer_science.
- Abstract_rewriting_system wikiPageWikiLink Category:Logic_in_computer_science.
- Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- Alternating-time_Temporal_Logic wikiPageWikiLink Category:Logic_in_computer_science.
- Anti-unification_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- Assertion_(software_development) wikiPageWikiLink Category:Logic_in_computer_science.
- Automated_reasoning wikiPageWikiLink Category:Logic_in_computer_science.
- Axiomatic_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Backward_chaining wikiPageWikiLink Category:Logic_in_computer_science.
- Bisimulation wikiPageWikiLink Category:Logic_in_computer_science.
- Boolean_circuit wikiPageWikiLink Category:Logic_in_computer_science.
- Boolean_satisfiability_problem wikiPageWikiLink Category:Logic_in_computer_science.
- Bunched_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Büchi_arithmetic wikiPageWikiLink Category:Logic_in_computer_science.
- CTL* wikiPageWikiLink Category:Logic_in_computer_science.
- Circuit_minimization_for_Boolean_functions wikiPageWikiLink Category:Logic_in_computer_science.
- Combinational_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Combinatory_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Combs_method wikiPageWikiLink Category:Logic_in_computer_science.
- CompCert wikiPageWikiLink Category:Logic_in_computer_science.
- Computability_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Computation_tree_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Computational_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Curry–Howard_correspondence wikiPageWikiLink Category:Logic_in_computer_science.
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Category:Logic_in_computer_science.
- Denotational_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Dershowitz–Manna_ordering wikiPageWikiLink Category:Logic_in_computer_science.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Category:Logic_in_computer_science.
- Event_calculus wikiPageWikiLink Category:Logic_in_computer_science.
- Fluent_(artificial_intelligence) wikiPageWikiLink Category:Logic_in_computer_science.
- Formal_verification wikiPageWikiLink Category:Logic_in_computer_science.
- Forward_chaining wikiPageWikiLink Category:Logic_in_computer_science.
- Frege_system wikiPageWikiLink Category:Logic_in_computer_science.
- Functional_completeness wikiPageWikiLink Category:Logic_in_computer_science.
- Fuzzy_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Game_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Geometry_of_interaction wikiPageWikiLink Category:Logic_in_computer_science.
- HOL_(proof_assistant) wikiPageWikiLink Category:Logic_in_computer_science.
- Hennessy–Milner_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Herbrand_Award wikiPageWikiLink Category:Logic_in_computer_science.
- Horn-satisfiability wikiPageWikiLink Category:Logic_in_computer_science.
- Horn_clause wikiPageWikiLink Category:Logic_in_computer_science.
- Intuitionistic_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Intuitionistic_type_theory wikiPageWikiLink Category:Logic_in_computer_science.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Logic_in_computer_science.
- Journal_of_Logic_and_Computation wikiPageWikiLink Category:Logic_in_computer_science.
- Karnaugh_map wikiPageWikiLink Category:Logic_in_computer_science.
- Knowledge_Interchange_Format wikiPageWikiLink Category:Logic_in_computer_science.
- List_of_mathematics_categories wikiPageWikiLink Category:Logic_in_computer_science.
- Logic_for_Computable_Functions wikiPageWikiLink Category:Logic_in_computer_science.
- Logic_in_computer_science wikiPageWikiLink Category:Logic_in_computer_science.
- Logical_Methods_in_Computer_Science wikiPageWikiLink Category:Logic_in_computer_science.
- Logical_framework wikiPageWikiLink Category:Logic_in_computer_science.
- Maximum_satisfiability_problem wikiPageWikiLink Category:Logic_in_computer_science.
- Model_elimination wikiPageWikiLink Category:Logic_in_computer_science.
- Multi-Agent_Programming_Contest wikiPageWikiLink Category:Logic_in_computer_science.
- Noise-based_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Normalization_property_(abstract_rewriting) wikiPageWikiLink Category:Logic_in_computer_science.
- OBJ_(programming_language) wikiPageWikiLink Category:Logic_in_computer_science.
- Operational_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Ordered_weighted_averaging_aggregation_operator wikiPageWikiLink Category:Logic_in_computer_science.
- Peano_axioms wikiPageWikiLink Category:Logic_in_computer_science.
- Perceptual_computing wikiPageWikiLink Category:Logic_in_computer_science.
- Postcondition wikiPageWikiLink Category:Logic_in_computer_science.
- Precondition wikiPageWikiLink Category:Logic_in_computer_science.
- Preferential_entailment wikiPageWikiLink Category:Logic_in_computer_science.
- Presburger_arithmetic wikiPageWikiLink Category:Logic_in_computer_science.
- Proof_complexity wikiPageWikiLink Category:Logic_in_computer_science.
- Propositional_proof_system wikiPageWikiLink Category:Logic_in_computer_science.
- Q_zero wikiPageWikiLink Category:Logic_in_computer_science.
- Race_condition wikiPageWikiLink Category:Logic_in_computer_science.
- Racetrack_problem wikiPageWikiLink Category:Logic_in_computer_science.
- Rewriting wikiPageWikiLink Category:Logic_in_computer_science.
- Runtime_verification wikiPageWikiLink Category:Logic_in_computer_science.
- Satisfiability_modulo_theories wikiPageWikiLink Category:Logic_in_computer_science.
- Semantics_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- Separation_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Sequential_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Star-free_language wikiPageWikiLink Category:Logic_in_computer_science.
- State_space_enumeration wikiPageWikiLink Category:Logic_in_computer_science.
- Structural_induction wikiPageWikiLink Category:Logic_in_computer_science.
- Stuttering_equivalence wikiPageWikiLink Category:Logic_in_computer_science.
- Successor_function wikiPageWikiLink Category:Logic_in_computer_science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Category:Logic_in_computer_science.
- Truth_bit wikiPageWikiLink Category:Logic_in_computer_science.
- Tseytin_transformation wikiPageWikiLink Category:Logic_in_computer_science.
- Twelf wikiPageWikiLink Category:Logic_in_computer_science.
- Type-1_OWA_operators wikiPageWikiLink Category:Logic_in_computer_science.
- Type-2_fuzzy_sets_and_systems wikiPageWikiLink Category:Logic_in_computer_science.
- Typed_lambda_calculus wikiPageWikiLink Category:Logic_in_computer_science.
- Undecidable_problem wikiPageWikiLink Category:Logic_in_computer_science.
- Unification_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- WalkSAT wikiPageWikiLink Category:Logic_in_computer_science.
- Weakest_precondition wikiPageWikiLink Category:Logic_in_computer_science.
- ΛProlog wikiPageWikiLink Category:Logic_in_computer_science.
- ACM_Transactions_on_Computational_Logic subject Category:Logic_in_computer_science.
- Abstract_rewriting_system subject Category:Logic_in_computer_science.
- Algebraic_semantics_(computer_science) subject Category:Logic_in_computer_science.
- Alternating-time_Temporal_Logic subject Category:Logic_in_computer_science.
- Anti-unification_(computer_science) subject Category:Logic_in_computer_science.