Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Vallée, Thierry"'
Autor:
Vallée, Thierry
Map Theory est une extension équationnelle du lambda-calcul non-typé conçue par Klaus Grue pour être une fondation commune de l'informatique et des mathématiques. Elle permet en particulier une interprétation complète du calcul des prédicats
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00001298
http://tel.archives-ouvertes.fr/docs/00/04/48/28/PDF/tel-00001298.pdf
http://tel.archives-ouvertes.fr/docs/00/04/48/28/PDF/tel-00001298.pdf
Autor:
Vallee, Thierry
A graph is Hamiltonian if it contains a cycle which goes through all vertices exactly once. Determining if a graph is Hamiltonian is known as a NP-complete problem and no satisfactory characterization for these graphs has been found. In 1976 Bondy an
Externí odkaz:
http://arxiv.org/abs/1308.6141
Publikováno v:
EPTCS 4, 2009, pp. 22-28
Cartesian products of graphs have been studied extensively since the 1960s. They make it possible to decrease the algorithmic complexity of problems by using the factorization of the product. Hypergraphs were introduced as a generalization of graphs
Externí odkaz:
http://arxiv.org/abs/0909.5032
Publikováno v:
In Theoretical Computer Science 4 March 2013 475:47-58
Autor:
Vallée, Thierry, Manning, Joseph
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 January 2009 225:441-456
Autor:
Vallee, Thierry
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 January 2009 225:421-439
Publikováno v:
In Theoretical Computer Science 2006 362(1):255-272
Autor:
Vallée, Thierry
Publikováno v:
In Electronic Notes in Theoretical Computer Science 25 October 2004 73:217-245
Autor:
Vallée, Thierry
Publikováno v:
In Electronic Notes in Theoretical Computer Science May 2003 79:260-262