Sidi Ould Biha

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Sidi Ould Biha: Finite Groups Representation Theory with Coq. Calculemus/MKM 2009: 438-452

2008

1 Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101

	2009
2		Sidi Ould Biha: Finite Groups Representation Theory with Coq. Calculemus/MKM 2009: 438-452
	2008
1		Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101

Coauthor Index