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.
Finite-state machineModel of computationFormal specificationStatementSpecification languageDenotational semanticsFunction modelSimulationProgramming language theoryTransition functionSyntaxDenotationCoinductionProcess calculusIpo modelDynamic programming languageModel checkingControl flowMathematical semanticsPattern languageExpressionComputability theoryAutomata-based programmingControl-flow graphCircuitParsing expression grammarDeclarative programmingBoolean expressionComputational semanticsMetasyntaxType theoryAlgorithmSymbolic executionInformation modelEventComputational modelState-space representationComposite data typeState spaceData typeDynamic simulationComputer simulationComputational learning theoryAgent-based modelGraphMarkov algorithmBehavior treeBisimulationComputable functionComputer algebraPurely functional programmingSwitch statementConstraint programmingContext-sensitive languageEvent-driven finite-state machineData-driven programmingModeling languageAbstract interpretationFormal scienceString substitutionOperatorConceptual modelActivation functionContinuation-passing styleRelational operatorFunctional requirementBoolean circuitComputation tree logicComputational linguisticsType systemDynamical systems theoryActor modelFormal grammarData-flow analysisProbabilistic programmingTheory of computationSystems modelingFunction compositionCausal modelAsync/awaitNondeterministic turing machineTheoretical computer scienceComposite typeSearch algorithmAlgebraic data typeFormal languageState-transition tableMetacompilationParameterizationConstraint logic programmingFormalismComputational problemBehavioral subtypingComplexity theoryFormal verificationSymbolic logicNominal type systemState space searchCommand patternParsing