Skip to content
Vinony

Razvan Diaconescu

No biography available.

Works (2)

Cover of CafeOBJ report
CafeOBJ report
Cover of Institution-independent Model Theory (Studies in Universal Logic)
Institution-independent Model Theory (Studies in Universal Logic)