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.
ExpressionBoolean expressionFormulaProlog syntax and semanticsSyntaxStatementAlgorithmPolyalgorithmSearch algorithmFormal systemTest assertionContext-free grammarParsing expression grammarComputational problemData-flow analysisType variableList comprehensionLanguage constructOrder of operationsNumerical methodAlgorithmic paradigmFormal specificationDefinitionSet-builder notationRelational operatorUnificationData typeFunctional calculusPattern languageDifferentiation rulesDecision ruleCall-by-needClosed-form expressionAlgebraic functionCall-by-valueSet operationAlgebraic data typeRule of inferenceSemanticsSwitch statementSymbolic executionNaming conventionArgument of a functionOperationFunctional programmingGradient methodAction languageCalculusMathematical theoryConceptPointcutCall-by-referenceBoolean logicProductionAlgebraic logicRegular expressionType systemSequent calculusRuleMarkov algorithmOperatorRule-based machine learningDependence analysisEquationDenotational semanticsPropositional functionDerivationRecursive functionInvestment strategySolution conceptProgramming language theoryFixed-point iterationScoring ruleDynamic programming languageMathematical semanticsLevel setSymbolic logicHorner's methodAlgebraic equationContinuation-passing styleAlgebraic fractionIndex notationAssertionQuadratic programmingRoot-finding algorithmsTruth valueAugmented assignmentObjective functionControl flowFormal languageEscape analysisHigher-order functionChain ruleCombinatory logicIntensional logicParameterFunction spaceTruth functionBounds checkingPattern matching