Razvan Diaconescu und University - Info zur Person

(1 - 6 von 6

)

Razvan Diaconescu - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Razvan Diaconescu. MathSciNet. Ph.D. University of Oxford UnitedKingdom. Dissertation: Category-based Semantics for Equational and Constraint Logic ...

CAFE: An Industrial-Strength Algebraic Formal Method - Google Books

books.google.de

Razvan Diaconescu. Category-based semantics for equational and constraint logic programming, DPhil thesis, University of Oxford. Razvan Diaconescu.

Cafeobj Report: The Language, Proof Techniques, And Methodologies For...

books.google.de

Razvan Diaconescu. Category-based Semantics for Equational and Constraint Logic Programming. PhD thesis, University of Oxford, Razvan Diaconescu.

UNILOG pictures

www.uni-log.org

Razvan Diaconescu – Inst. of MAThemATics of the Romanian Academy – Romania - Razvan.DiaconescuATimar.ro. Emílio Díaz-Estévez - University of Seville ...

Workshop on Foundations of Informatics

foi.math.md

Dr. Habil Razvan Diaconescu, Mathematical Sciences, University of Oxford ( England), Habilitation in Informatics, Simion Stoilow Institiute of Mathematics ...

Program Committee | ICAASE'14

www.univ-constantine2.dz

... Algeria; Christine Choppy, Université Paris XIII, France; Mourad Debbabi, Concordia University, Canada; Razvan Diaconescu, Romanian Academy Bucharest ...

Alle Infos zum Namen "Razvan Diaconescu"

Verwandte Suchanfragen zu Razvan Diaconescu

Personen
Vorname "Razvan" (530)
Name "Diaconescu" (51)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z