Author: Razvan Diaconescu

Support
Răzvan Diaconescu is a research professor of mathematics at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR).




4 Ebooks by Razvan Diaconescu

Razvan Diaconescu: Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that p …
PDF
English
€96.29
Razvan Diaconescu & Kokichi Futatsugi: CAFEOBJ REPORT, THE LANGUAGE, … (V6)
Cafe OBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specificati …
PDF
English
DRM
€69.99
Mihai Codescu & Razvan Diaconescu: Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.T …
EPUB
English
DRM
€45.03
Răzvan Diaconescu: Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that p …
PDF
English
€149.79