Search results
Jump to navigation
Jump to search
- ...12475 arxiv preprint] || Jul 2021 || [[User:Cosmo|Tristan Stérin]] (<code>@cosmo</code>) and Damien Woods || The machine halts if and only if the following |[[User:Cosmo|Tristan Stérin]] ...10 KB (1,540 words) - 19:35, 12 February 2026
- * In October 2024, [[User:Cosmo|Tristan Stérin]] reproduces Repeated Word List again.<ref>https://github.co ...2 KB (389 words) - 11:29, 21 February 2026
- ...23006490684/960643023530762341/1409904231468761159 made by Tristan Stérin (cosmo)]]] ...search|This Month in Beaver Research]] for August 2025. This month, [[User:Cosmo|Tristan Stérin]] presented a poster (see right) at DNA 31, Ben Brubaker wro ...9 KB (1,210 words) - 19:50, 28 September 2025
- * 25-29 Aug 2025. [[User:Cosmo|Tristan Stérin]] presented [[:File:Conference poster for DNA31 by Tristan S * 27 Oct 2025. [[User:Cosmo|Tristan Stérin]] gave a talk about [[bbchallenge]] and the [[BB(5)]] proof ...18 KB (2,386 words) - 13:45, 20 February 2026