Bassel Mannaa

Showing 4 publications

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

Dynamic Newton-Puiseux theorem

Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis. Vol. 5, p. (5:5) 1-22
Journal article
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
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:
Zotero
Mendeley

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.