Seguir
Răzvan Diaconescu
Răzvan Diaconescu
E-mail confirmado em imar.ro
Título
Citado por
Citado por
Ano
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
World Scientific Pub Co Inc, 1998
687*1998
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
Logical Environments, 1993
299*1993
Institution-independent model theory
R Diaconescu
Birkhauser, 2008
2882008
Towards an algebraic semantics for the object paradigm
JA Goguen, R Diaconescu
Workshop on the Specification of Abstract Data Types, 1-29, 1992
2411992
Behavioural Coherence in Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
Journal of Universal Computer Science 6 (1), 74-96, 2000
1522000
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1422002
An Oxford survey of order sorted algebra
J Goguen, R Diaconescu
Mathematical Structures in Computer Science 4 (3), 363-392, 1994
1391994
Grothendieck institutions
R Diaconescu
Applied Categorical Structures 10 (4), 383-402, 2002
119*2002
What is a Logic? In memoriam Joseph Goguen
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis: towards a general theory of logic, 111-133, 2007
1002007
Hiding and behaviour: an institutional approach
RM Burstall, R Diaconescu
A Classical Mind: Essays in Honour of C.A.R. Hoare,, 75-92, 1994
881994
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
792011
Institution-independent ultraproducts
R Diaconescu
Fundamenta Informaticae 55 (3-4), 321-348, 2003
682003
An institution-independent proof of Craig Interpolation Theorem
R Diaconescu
Studia Logica 77, 59-79, 2004
642004
Category-based Semantics for Equational and Constraint Logic Programming
R Diaconescu
PhD thesis, Programming Research Group, Oxford University, 1994
59*1994
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages
R Diaconescu
Applied Categorical Structures 6 (4), 427-453, 1998
581998
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3, 95-124, 2009
572009
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2003
562003
Elementary diagrams in institutions
R Diaconescu
Journal of Logic and Computation 14 (5), 651-674, 2004
542004
Herbrand theorems in arbitrary institutions
R Diaconescu
Information Processing Letters 90 (1), 29-37, 2004
472004
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20