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.
Kleene's algorithmTarski's undefinability theoremSavitch's theoremCantor's first set theory articleDenotational semanticsStructured program theoremAxiom of determinacyKripke semanticsDutch national flag problemStochastic dynamic programmingPhrase structure grammarProbabilistic context-free grammarLorentz spaceMinimalist programFormal epistemologySemanticsSemantics of logicDynamic semanticsPicture theory of languageGentzen's consistency proofPost correspondence problemNew foundationsGeneralized algebraic data typeCategory theoryNondeterministic turing machineProbabilistic programmingCylindric algebraDependence analysisType theoryContext-sensitive languageFirst-order logicTag systemTime hierarchy theoremTemporal logic of actionsBehavioral modelingSense and referenceCalculus of constructionsConstraint logic programmingLanguage of thought hypothesisConstructor theoryDistributed cognitionIllocutionary actProbabilistic turing machineKleene's recursion theoremModel of computationLinear logicGrothendieck categoryType constructorBayesian epistemologyNondeterministic programmingRice's theoremAxiom of extensionalityDifferentiable programmingAbstract interpretationProcess calculusPowerset constructionDe bruijn indexFitch notationFormal concept analysisFunction wordMain path analysisProbabilistic methodIndex calculus algorithmRecursive definitionSchwartz kernel theoremGovernment and binding theoryCox's theoremData-flow analysisMeijer g-functionFlow-sensitive typingSpace hierarchy theoremChomsky normal formImplicate and explicate orderBoolean circuitSearch problemDijkstra's algorithmTransformational grammarRepresentation theoryLie theoryCalculus of communicating systemsAutomated theorem provingMethod of analytic tableauxFractional idealNatural deductionAckermann's formulaDynamical systems theoryDefinite descriptionDeontic logicGrzegorczyk hierarchyComputational irreducibilityPhrase structure rulesConstructive set theoryAbstract algebraic logicLaw of continuityMarkov logic networkDarboux's theoremFalsifiabilityCircuitSerre dualityStrong np-completeness