Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Calcul diagrammatique"'
Autor:
Petit, Philippe
Les algèbres de Temperley–Lieb de type B, aussi appelées algèbres de Temperley–Lieb à une frontière, sont une famille d’algèbres associatives unitaires de dimension finie généralisant les algèbres de Temperley–Lieb. Elles ont été i
Autor:
Zunic, Dragisa
Cette thèse de doctorat étudie l'interprétation calculatoire des preuves de la logique classique. Elle présente trois calculs reflétant trois approches différentes de la question. Cette thèse est donc composée de trois parties. La première p
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00265549
http://tel.archives-ouvertes.fr/docs/00/26/55/49/PDF/DragisaThesis.pdf
http://tel.archives-ouvertes.fr/docs/00/26/55/49/PDF/DragisaThesis.pdf