Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

Items for Author "Diaconescu, Razvan"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 8 items.

Date of IssueTitle Authors
Mar-1996 JAIST-REPORT completeness of semantic paramodulation : a category-based approachDiaconescu, Razvan
28-Aug-1996 Logical semantics for CafeOBJDiaconescu, Razvan; Futatsugi, Kokichi
1-Aug-1997 Extra theory morphisms for institutions : logical semantics for multi-paradigm languagesDiaconescu, Razvan
3-Dec-1997 Modality in open institutions with concrete syntaxDiaconescu, Razvan; Stefaneas, Petros
20-Feb-1998 Concurrent object composition in CafeOBJIida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel
9-May-1998 Categorical foundations of modularisation for multi-paradigmDiaconescu, Razvan; Stefaneas, Petros
5-Jun-1998 Behavioural coherence in object-oriented algebraic specificationDiaconescu, Razvan
6-May-1999 Component-based algebraic specification and verification in cafeOBJDiaconescu, Razvan; Futatsugi, Kokichi; Iida, Shusaku

 
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)