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,510 words) - 14:36, 18 December 2025
- ...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 ...24 KB (3,237 words) - 16:36, 7 January 2026