Theoretical computer science
ACM Doctoral Dissertation AwardACM SIGACTAPI-CalculusAlgorithmAlgorithm engineeringAlgorithmic logicAlgorithmic techniqueAlgorithmic transparencyAmbient calculusAnalysis of Boolean functionsAngelic non-determinismAutomated reasoningBigraphBio-inspired computingBird–Meertens formalismBisimulationBridging modelBritish Colloquium for Theoretical Computer ScienceCalculating SpaceCategorical logicChaos computingChemical computerCircuit Value ProblemCoinductionCombinatorial optimizationComp.theoryComplexity classComplexity functionComputability in EuropeComputationComputational irreducibilityComputational learning theoryComputational problemConcurrence (quantum computing)Configurable modularityCorecursionCorrectness (computer science)Demonic non-determinismDis-unification (computer science)Dominance-based rough set approach
Link from a Wikipage to another Wikipage
ACM Doctoral Dissertation AwardACM SIGACTAPI-CalculusAlgorithmAlgorithm engineeringAlgorithmic logicAlgorithmic techniqueAlgorithmic transparencyAmbient calculusAnalysis of Boolean functionsAngelic non-determinismAutomated reasoningBigraphBio-inspired computingBird–Meertens formalismBisimulationBridging modelBritish Colloquium for Theoretical Computer ScienceCalculating SpaceCategorical logicChaos computingChemical computerCircuit Value ProblemCoinductionCombinatorial optimizationComp.theoryComplexity classComplexity functionComputability in EuropeComputationComputational irreducibilityComputational learning theoryComputational problemConcurrence (quantum computing)Configurable modularityCorecursionCorrectness (computer science)Demonic non-determinismDis-unification (computer science)Dominance-based rough set approach
subject
AlgorithmsComputational learning theoryEvolutionary computationFormal languagesFormal methodsGraph theoryInformation theoryLogic in computer scienceMathematical theorems in theoretical computer scienceMathematics of computingNatural computationProblems in computer sciencePseudorandomnessPursuit-evasionQuantum computingQuantum information scienceRewriting systemsTheoretical computer science conferencesTheoretical computer scientistsTheory of computation
broader
Theoretical computer science
Wikipage page ID
Wikipage revision ID
969,858,770
wikiPageUsesTemplate
type
label
Theoretical computer science
@en
prefLabel
Theoretical computer science
@en