Géraud Sénizergues (born 9 March 1957) is a French computer scientist at the University of Bordeaux. He is known for his contributions to automata theory...
3 KB (243 words) - 19:44, 23 July 2023
Roman Catholic Church Géraud Sénizergues (born 1957), French computer scientist at the University of Bordeaux La Chapelle-Saint-Géraud, commune in the Corrèze...
1 KB (205 words) - 22:01, 3 September 2022
— Full version: Géraud Sénizergues (1997). L(A) = L(B)? (Technical Report 1161-97). Universite Bordeaux, LaBRI. Géraud Sénizergues (2001). "Fundamental...
10 KB (1,236 words) - 03:14, 30 May 2024
Laurent Schwartz (1915–2002), mathematician; Fields Medalist 1950 Géraud Sénizergues (born 1957), computer scientist and 2002 Gödel Prize recipient. Jean-Pierre...
15 KB (1,643 words) - 08:55, 13 April 2024
ISSN 0004-5411, S2CID 8561542, archived from the original (PDF) on 2011-06-10 Sénizergues, Géraud (2001), "L(A) = L(B)? decidability results from complete formal systems"...
30 KB (2,157 words) - 19:10, 11 August 2024
case of deterministic pushdown automata, equivalence is decidable, Géraud Sénizergues won the Gödel Prize for this result. Subsequently, the problem was...
1 KB (148 words) - 17:41, 14 April 2023
13 unknowns". Acta Arithmetica. XXVII: 521–549. Yuri Matiyasevich, Géraud Sénizergues (1996). "Decision Problems for Semi-Thue Systems with a Few Rules"...
12 KB (1,054 words) - 01:53, 14 May 2024
Jean-Marc Moura, Reinhard Schinke, Roland Benz 2003 Christian Borde [fr], Géraud Sénizergues, Hartmut Kaelble, Janos Riesz [de], Jean Zinn-Justin, Klaus Fraedrich [de]...
13 KB (382 words) - 11:01, 22 May 2024
February 1977. doi:10.1070/SM1977v032n02ABEH002376. Matiyasevich, Yuri; Sénizergues, Géraud (January 2005). "Decision problems for semi-Thue systems with a few...
29 KB (3,202 words) - 10:19, 12 February 2024