Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/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.