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