关注
Răzvan Diaconescu
Răzvan Diaconescu
在 imar.ro 的电子邮件经过验证
标题
引用次数
引用次数
年份
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
World Scientific Pub Co Inc, 1998
699*1998
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
Logical Environments, 1993
302*1993
Institution-independent model theory
R Diaconescu
Birkhauser, 2008
2932008
Towards an algebraic semantics for the object paradigm
JA Goguen, R Diaconescu
Workshop on the Specification of Abstract Data Types, 1-29, 1992
2451992
Behavioural Coherence in Object-Oriented Algebraic Specification
R Diaconescu, K Futatsugi
Journal of Universal Computer Science 6 (1), 74-96, 2000
1542000
Logical foundations of CafeOBJ
R Diaconescu, K Futatsugi
Theoretical computer science 285 (2), 289-318, 2002
1452002
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
992007
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
772011
Institution-independent ultraproducts
R Diaconescu
Fundamenta Informaticae 55 (3-4), 321-348, 2003
702003
An institution-independent proof of Craig Interpolation Theorem
R Diaconescu
Studia Logica 77, 59-79, 2004
682004
Category-based Semantics for Equational and Constraint Logic Programming
R Diaconescu
PhD thesis, Programming Research Group, Oxford University, 1994
61*1994
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages
R Diaconescu
Applied Categorical Structures 6 (4), 427-453, 1998
591998
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3, 95-124, 2009
582009
Elementary diagrams in institutions
R Diaconescu
Journal of Logic and Computation 14 (5), 651-674, 2004
572004
CafeOBJ: Logical foundations and methodologies
R Diaconescu, K Futatsugi, K Ogata
Computing and Informatics 22 (3-4), 257-283, 2003
562003
Herbrand theorems in arbitrary institutions
R Diaconescu
Information Processing Letters 90 (1), 29-37, 2004
492004
Logical semantics for CafeOBJ
R Diaconescu, K Futatsugi
北陸先端科学技術大学院大学情報科学研究科, 1996
451996
系统目前无法执行此操作,请稍后再试。
文章 1–20