English Christoph Walther Cited by user 88.69.157.179 on 10 Mar 2024 Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving.
English Walther recursion Cited by user Mathnerd314159 on 15 May 2022 In computer programming, Walther recursion (named after Christoph Walther) is a method of analysing recursive functions that can determine if the function is definitely…
French Problème non élémentaire Cited by user Fschwarzentruber on 10 Oct 2018 En théorie de la complexité, un problème non élémentaire est un problème de décision qui n'est pas dans la classe ELEMENTARY.