Bassel Mannaa

Visar 4 publikationer

2014

A Sheaf Model of the Algebraic Closure

Bassel Mannaa, Thierry Coquand
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS. Vol. 164, p. 18-32
Paper i proceeding
2013

Dynamic Newton-Puiseux theorem

Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis. Vol. 5, p. (5:5) 1-22
Artikel i vetenskaplig tidskrift
2010

Cluster editing problem for points on the real line: A polynomial time algorithm

Bassel Mannaa
Information Processing Letters. Vol. 110 (21), p. 961-965
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Bassel Mannaa medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.