Géraud Sénizergues
From Infogalactic: the planetary knowledge core
Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"[1]
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
<templatestyles src="Asbox/styles.css"></templatestyles>