WTheoretical computer scienceWAlgorithmWCalculating SpaceWCircuit Value ProblemWCombinatorial optimizationWComplexity classWComputability in EuropeWDynamic Data Driven Applications SystemsWEuropean Association for Theoretical Computer ScienceWFormal languageWFrench Institute for Research in Computer Science and AutomationWGrammar systems theoryWIdempotenceWJournal of Automata, Languages and CombinatoricsWKnuth PrizeWKrivine machineWLulu smoothingWNeighbour-sensing modelWQuantum machine learningWRecursion (computer science)WRecursive definitionWSilqWTree (automata theory)WTuring machine