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.
Recursive languageComputable setRegular languageFormal languageGeneral recursive functionLeft recursionFormal proofPrimitive recursive functionSet-builder notationNl-completePattern languageConstructible universeIndex setAlgebraic structureSet-theoretic limitPcp theoremComplexity functionAlgorithmExpspaceConstant-recursive sequenceSeparable spaceModel of computationCompletenessLexicographic orderDenotational semanticsPowerset constructionSyntactic monoidTheory of computationFirst-order logicAmbiguous grammarProbabilistic turing machineFormal scienceFormal grammarBrute-force searchLanguage of mathematicsBoolean satisfiability problemPseudo-polynomial timeConvergenceConeFinitely generated algebraRecursive definitionPspace-completeClassOutline of category theoryFormal verificationPartially ordered setSemialgebraic setCompactness theoremExistential theory of the realsComputable numberAlgorithmic information theoryProbabilistically checkable proofMaximum satisfiability problemComputer algebraBorel setMeasurable functionAxiomatic systemResolutionTuring jumpContext-free languageField of setsType theoryAlphabetCountable setTuring degreeAxiom of extensionalityCartesian treeGenerating set of a groupAxiom of countable choiceKolmogorov extension theoremContext-sensitive languageMany-one reductionGreibach normal formArithmetical hierarchyHighFunction typeGrammar inductionBinomial typeRecurrence relationAlgebraic expressionRule of inferencePspaceLl grammarDirected setCounting measureAlgebra of setsContext-free grammarCantor's theoremChomsky hierarchyP-completeSatisfiability modulo theoriesSubstringExpressionMaximal and minimal elementsPolynomial codeNexptimeFunctional completenessSubtypingDpll algorithmCircuit satisfiability problem