Razvan Diaconescu - Wissenschaftliche Veröffentlichungen

(1 - 6 von 7

)

Patents Assigned to Razvan Diaconescu - Justia Patents Search

patents.justia.com

Justia - Patents - Patents and Patent Application Resources

dblp: Razvan Diaconescu

dblp.uni-trier.de

List of computer science publications by Razvan Diaconescu

Universal Logic

www.uni-log.org

Razvan Diaconescu. Institute of Mathematics "Simion Stoilow" - Romania. The theory of ``institutions'' [1] is a categorical universal model theory, which originates ...

Publications Search - Details

www.informatik.uni-bremen.de

Publication type: Article: Author: Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu: Title: What is a logic translation? Volume: 3: Page(s): 95 – 124

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 ...

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

Wissenschaftliche Veröffentlichungen Razvan Diaconescu

Patents Assigned to Razvan Diaconescu - Justia Patents Search

dblp: Razvan Diaconescu

Universal Logic

Publications Search - Details

UNILOG pictures