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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.