François Nicolas
- Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More
2014/04/02 by Julien Cassaigne, Cassaigne, Julien, Vesa Halava +6 · 2 citations
Computer Science · Engineering · Mathematics · #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #cs.DM #graph theory and CDMA systems #math.CO #semigroups and automata theory
- (Generalized) Post Correspondence Problem and semi-Thue systems
2008/02/06 by François Nicolas, Francois Nicolas, Nicolas, Francois · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Algebra and Logic #DNA and Biological Computing #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #cs.DM #semigroups and automata theory