Un exemple d'utilisation informelle des méthodes de preuve d'algorithmes

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Technology and Science of Informatics, 5, page (403-410)
Publication Publié, 1986

Article révisé par les pairs

Titre:	Un exemple d'utilisation informelle des méthodes de preuve d'algorithmes
Auteur:	Latouche, Guy
Informations sur la publication:	Technology and Science of Informatics, 5, page (403-410)
Statut de publication:	Publié, 1986
Sujet CREF:	Algèbre linéaire et matricielle
Mots-clés:	sciences
Langue:	Français
Identificateurs:	urn:issn:0264-7419
	gl-0038

Towards a classification of simple partial comodules of Hopf algebras
par Batista, Eliezer , Hautekiet, William , Saracco, Paolo , Vercruysse, Joost
Publication 2025-02-15
La responsabilité civile de l'État - Rapport national Belge
par Auvray, Françoise
Publication 2029-04-22
Chinese in DR Congo: Reciprocal Migration, Conjugal Mixedness, and Power Inequalities
par Chen, Cai , Tran Sautede, Emilie , Zoubir, Yahia H.
Publication Leiden, Brill, 2026-05-01
Le savoir biomédical: enjeux éthiques
par Pinsart, Marie-Geneviève , Mezinska, Signe
Publication Paris-Londres, Iste-Wiley, 2027
Bioéthique: les figures du futur
par Pinsart, Marie-Geneviève , Parizeau, Marie-Hélène
Publication Paris-Londres, Iste-Wiley, 2027

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.