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.
Logical systemCombinatory logicLogic programmingApplication logicChurch-turing thesisComputation tree logicLogic diagramDomain logicTacticalLogicComputability theoryBusiness logicAd hoceryMetacomputationProbabilistically checkable proofDeclarative programmingFormalismTuringFinite-state machineTernary computerMoore machineComplexity theoryCase-based reasoningZeno machineComputationalismOracle machineDatalogyCorrectnessDecision problemLadder logicOracleLogic gateTuring switchComputation historyProgrammingComputer codePseudocodeMealy machineAlgorithmCertificateModeTuring reductionComputational designAlgolAlgorithmicsComputingConway's lawRole-oriented languageVerilogWizard bookHypercubeComputerologyComputer architectureExclusive orComputable functionSoftware architectureType systemQuasiquoterPresentation logicHarvard machinePrologDomino computerOperationBisimulationHypothesizerSystems languageTuring jumpComputer systemTreeComputing languageTuring machineProgObject-based languageRulesetComputer programmingAspect-oriented languagePragmatOusterhout's dichotomyLogic boardPseudoalgorithmComputer modelComputatorSearch treeComputational modelLogic errorMetacompilationHindley-milner type systemComputorAtomicityComputionalityTypecheckerTuring testHydrocodeMetacircularityInterfaceDataHaskellTuring tapeLiterate programmingHardware description language