Bassel Mannaa

Showing 4 publications


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 in proceedings

Dynamic Newton-Puiseux theorem

Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis. Vol. 5, p. (5:5) 1-22
Journal article

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

Bassel Mannaa
Information Processing Letters. Vol. 110 (21), p. 961-965
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Bassel Mannaa participates, but you have to be logged in as a Chalmers employee to see them.