MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Circuit complexityCircuitModel of computationArithmetic circuit complexityQuantum circuitComputability theoryP/polyBoolean logicBoolean algebraSearch problemBoolean expressionQuantum logic gateComplexity classComputational resourceQuantum complexity theoryQuantum algorithmComputable functionModel-based designCircuit satisfiability problemLogic gateProcess calculusTrue quantified boolean formulaAbstract algebraic logicSwitching circuit theoryControl-flow graphCoinductionBoolean functionTheory of computationType theoryStrong np-completenessComputational biologyComputational complexity theoryLogic optimizationOutline of combinatoricsComputational problemCombinatoricsBoolean matrixSatisfiability modulo theoriesMathematical theoryFunctional calculusFinite-state machineCombinational logicBinary decoderConstraint programmingGraph theoryComputational topologyModel checkingPermutation patternPropositional logicAlgebraic combinatoricsSymbolic logicNetwork calculusLogicConstraint logic programmingReal computationMathematical semanticsGraphComplex geometryComputational learning theoryAnd-inverter graphCombinatorial game theoryLinear systemTime complexityAlgebraic data typeDiscrete geometryComplexity theoryPredicate logicIndex calculus algorithmTime hierarchy theoremIntensional logicQuantum logicComputational geometryQuantum finite automatonAlgebraic graph theoryBinary golay codeBoolean data typeAction languageSuperposition theoremFormal specificationComputer algebraHypercomputationMatroidArithmetic combinatoricsComplex analysisControlled not gateDecision problemReductionBiconnected componentLinear bounded automatonFunction problemTruth functionFunction modelCartan decompositionHorn clauseTheoretical computer scienceCombinatory logicMarkov logic networkPattern languageConstructible universePattern theory