Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Logic_in_computer_science> . }
- Category:Logic_gates broader Category:Logic_in_computer_science.
- Category:Logic_programming broader Category:Logic_in_computer_science.
- Category:Logical_calculi broader Category:Logic_in_computer_science.
- Category:Program_logic broader Category:Logic_in_computer_science.
- Category:Programming_language_semantics broader Category:Logic_in_computer_science.
- Category:Quantum_gates broader Category:Logic_in_computer_science.
- Category:Temporal_logic broader Category:Logic_in_computer_science.
- Category:Type_theory broader Category:Logic_in_computer_science.
- Category:Unification_(computer_science) broader Category:Logic_in_computer_science.
- Category:Z_notation broader Category:Logic_in_computer_science.