Răzvan Diaconescu
Răzvan Diaconescu
Verifierad e-postadress på imar.ro
TitelCiteras avÅr
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
World Scientific Pub Co Inc, 1998
562*1998
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
Logical Environments, 1993
272*1993
Institution-independent model theory
R Diaconescu
Birkhauser, 2008
2322008
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
1432000
An Oxford survey of order sorted algebra
J Goguen, R Diaconescu
Mathematical Structures in Computer Science 4 (3), 363-392, 1994
1321994
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1282002
Grothendieck institutions
R Diaconescu
Applied Categorical Structures 10 (4), 383-402, 2002
114*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
881994
What is a Logic?
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis, 111-133, 2007
822007
CafeOBJ Report, volume 6 of AMAST series in Computing
R Diaconescu, K Futatsugi
World Scientific, Singapore, etc, 1998
801998
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
622011
Institution-independent ultraproducts
R Diaconescu
Fundamenta Informaticae 55 (3-4), 321-348, 2003
592003
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages
R Diaconescu
Applied Categorical Structures 6 (4), 427-453, 1998
581998
Category-based Semantics for Equational and Constraint Logic Programming
R Diaconescu
PhD thesis, Programming Research Group, Oxford University, 1994
55*1994
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2012
542012
An institution-independent proof of Craig Interpolation Theorem
R Diaconescu
Studia Logica 77 (1), 59-79, 2004
522004
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3 (1), 95-124, 2009
432009
Herbrand theorems in arbitrary institutions
R Diaconescu
Information Processing Letters 90 (1), 29-37, 2004
432004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20