| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Razvan Diaconescu |
On quasi-varieties of multiple valued logic models.  |
Math. Log. Q.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Ionut Tutu |
On the algebra of structured specifications. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Coinduction for preordered algebra. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Structural induction in institutions. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Grothendieck Inclusion Systems. |
Applied Categorical Structures |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa |
Hybridization of Institutions. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Quasi-boolean encodings and conditionals in algebraic specification. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Marius Petria |
Saturated models in institutions. |
Arch. Math. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
An encoding of partial algebras as total algebras. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
A categorical study on the finiteness of specifications. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Aiguier, Razvan Diaconescu |
Stratified institutions and elementary homomorphisms. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Petros S. Stefaneas |
Ultraproducts and possible worlds semantics in institutions. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Marius Petria |
Abstract Beth definability in institutions. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Proof Systems for Institutional Logic. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Jewels of Institution-Independent Model Theory. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Behavioural specification for hierarchical object composition. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Herbrand theorems in arbitrary institutions. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Interpolation in Grothendieck Institutions. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
An Institution-independent Proof of Craig Interpolation Theorem. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
axiomatizability, interpolation, algebraic specification, institutions |
| 1 | Razvan Diaconescu |
Elementary Diagrams in Institutions. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata |
CafeOBJ: Logical Foundations and Methodologies. |
Computers and Artificial Intelligence |
2003 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Institution-independent Ultraproducts. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi |
Logical foundations of CafeOBJ. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Grothendieck Institutions. |
Applied Categorical Structures |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
| 1 | Razvan Diaconescu |
Category-based constraint logic. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi |
Behavioural Coherence in Object-Oriented Algebraic Specification. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
Component-Based Algebraic Specification and Verification in CafeOBJ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi |
An overview of CafeOBJ. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages. |
Applied Categorical Structures |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Category-Based Modularisation for Equational Logic Programming. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Foundations of behavioural specification in rewriting logic. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Completeness of Category-Based Equational Deduction. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
A Category-Based Equational Logic Semantics to Constraint Programming. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Razvan Diaconescu |
An Introduction to Category-based Equational Logic. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Razvan Diaconescu |
An Oxford Survey of Order Sorted Algebra. |
Mathematical Structures in Computer Science |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Razvan Diaconescu |
A short Oxford survey of order sorted algebra.. |
Bulletin of the EATCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Contraction Algebras and Unification of (Infinite) Terms. |
J. Comput. Syst. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Razvan Diaconescu |
Towards an Algebraic Semantics for the Object Paradigm. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")