|
Search the dblp DataBase
Franck Seynhaeve:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Matthieu Basseur, Franck Seynhaeve, El-Ghazali Talbi
Path Relinking in Pareto Multi-objective Genetic Algorithms. [Citation Graph (0, 0)][DBLP] EMO, 2005, pp:120-134 [Conf]
- Franck Seynhaeve, Sophie Tison, Marc Tommasi
Homomorphisms and Concurrent Term Rewriting. [Citation Graph (0, 0)][DBLP] FCT, 1999, pp:475-487 [Conf]
- Bruno Bogaert, Franck Seynhaeve, Sophie Tison
The Recognizability Problem for Tree Automata with Comparisons between Brothers. [Citation Graph (0, 0)][DBLP] FoSSaCS, 1999, pp:150-164 [Conf]
- Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:103-117 [Conf]
- Franck Seynhaeve, Marc Tommasi, Ralf Treinen
Grid Structure and Undecidable Constraint Theories. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:357-368 [Conf]
- Franck Seynhaeve
Set constraints and topology. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2001, v:80, n:3, pp:145-150 [Journal]
- Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
Grid structures and undecidable constraint theories. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:453-490 [Journal]
Search in 0.001secs, Finished in 0.002secs
|