Mannaa, Bassel

Bassel Mannaa
Datavetenskap
bassel at chalmers dot se

Visiting address:

Rännvägen 6
Rum 6103, floor 6
EDIT building, Campus Johanneberg

 

Bassel Mannaa is a PhD student.

Link to personal page

Supervisor: Thierry Coquand

Publications 2010

Mannaa, Bassel: Cluster editing problem for points on the real line: A polynomial time algorithm. Information Processing Letters, 110 (21) pp. 961-965.

Mannaa, Bassel: Dynamic construction of aglebraic closure and a coinductive proof of Hensel's lemma. Göteborg : Chalmers University of Technology.

Last modified: February 27, 2013
Responsible for this page: Eva Axelsson

 SEARCH


COMPUTER SCIENCE AND ENGINEERING - Chalmers University of Technology and University of Gothenburg
SE-412 96 Gothenburg, Sweden - Tel: +46 (0)31- 772 1000