Theoretical computer science
Algorithm
Combinatorial optimization
European Association for Theoretical Computer Science
Formal language
ACM SIGACTAI boxAlgorithm engineeringAlgorithmic logicAngelic non-determinismAutomated reasoningBigraphBio-inspired computingBisimulationBridging modelBritish Colloquium for Theoretical Computer ScienceCategorical logicChaos computingChemical computerCircuit Value ProblemCoinductionComplexity functionComputability in EuropeComputationComputational irreducibilityComputational learning theoryComputational problemConcurrence (quantum computing)Configurable modularityCorecursionCorrectness (computer science)Demonic non-determinismDigital probabilistic physicsDis-unification (computer science)Dominance-based rough set approachDynamic Data Driven Applications SystemsError Tolerance (PAC learning)Exact coverExpander mixing lemmaExtractor (mathematics)Formal methods
subject
Computational learning theoryEvolutionary computationFormal languagesFormal methodsGraph theoryInformation theoryLogic in computer scienceMathematical theorems in theoretical computer scienceMathematics of computingNatural computationPseudorandomnessPursuit-evasionQuantum computingQuantum information scienceRewriting systemsTheoretical computer science conferencesTheoretical computer scientistsTheory of computationUnsolved problems in computer science
broader
Theoretical computer science
Wikipage page ID
Wikipage revision ID
708,662,939
type
label
Theoretical computer science
@en
sameAs
broader
prefLabel
Theoretical computer science
@en