Răzvan Diaconescu
Răzvan Diaconescu
Verified email at imar.ro
Title
Cited by
Cited by
Year
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
World Scientific Pub Co Inc, 1998
640*1998
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
Logical Environments, 1993
278*1993
Institution-independent model theory
R Diaconescu
Birkhauser, 2008
2432008
Towards an algebraic semantics for the object paradigm
JA Goguen, R Diaconescu
Recent Trends in Data Type Specification, 1-29, 1992
2281992
Behavioural Coherence in Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
Journal of Universal Computer Science 6 (1), 74-96, 2000
1462000
An Oxford survey of order sorted algebra
J Goguen, R Diaconescu
Mathematical Structures in Computer Science 4 (3), 363-392, 1994
1371994
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1292002
Grothendieck institutions
R Diaconescu
Applied Categorical Structures 10 (4), 383-402, 2002
111*2002
Hiding and behaviour: an institutional approach
RM Burstall, R Diaconescu
A Classical Mind: Essays in Honour of C.A.R. Hoare,, 75-92, 1994
901994
What is a Logic?
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis, 111-133, 2007
862007
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
662011
Institution-independent ultraproducts
R Diaconescu
Fundamenta Informaticae 55 (3-4), 321-348, 2003
612003
Category-based Semantics for Equational and Constraint Logic Programming
R Diaconescu
PhD thesis, Programming Research Group, Oxford University, 1994
60*1994
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages
R Diaconescu
Applied Categorical Structures 6 (4), 427-453, 1998
571998
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2003
552003
An institution-independent proof of Craig Interpolation Theorem
R Diaconescu
Studia Logica 77 (1), 59-79, 2004
542004
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3 (1), 95-124, 2009
472009
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
Herbrand theorems in arbitrary institutions
R Diaconescu
Information Processing Letters 90 (1), 29-37, 2004
442004
Elementary diagrams in institutions
R Diaconescu
Journal of Logic and Computation 14 (5), 651-674, 2004
432004
The system can't perform the operation now. Try again later.
Articles 1–20