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

Regular 3-polytopes of order 2n p
par Hou, Dong Dong , Feng, Yan Quan , Leemans, Dimitri
Publication 2025-07-01
One-sided Markov additive processes with lattice and non-lattice increments
par Ivanovs, Jevgenijs , Latouche, Guy , Taylor, Peter Gerrard
Publication 2025-12
String C-groups of order 4pm
par Hou, Dong Dong , Feng, Yan Quan , Leemans, Dimitri , Qu, Hai Peng
Publication 2025-07-01
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

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.