Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Diaconescu, R{\u{a}}zvan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the algebra of structured specifications
Răzvan Diaconescu
,
Ionuţ Ţuţu
Theoretical Computer Science
412
(28), 2011, pp. 3145-3174
An encoding of partial algebras as total algebras
Răzvan Diaconescu
Information Processing Letters
109
(23-24), 2009, pp. 1245-1251
A categorical study on the finiteness of specifications
Răzvan Diaconescu
Information Processing Letters
108
(2), 2008, pp. 75-80
Ultraproducts and possible worlds semantics in institutions
Răzvan Diaconescu
,
Petros Stefaneas
Theoretical Computer Science
379
(1-2), 2007, pp. 210-230
Behavioural specification for hierarchical object composition
Răzvan Diaconescu
Theoretical Computer Science
343
(3), 2005, pp. 305-331
Herbrand theorems in arbitrary institutions
Răzvan Diaconescu
Information Processing Letters
90
(1), 2004, pp. 29-37
Logical foundations of CafeOBJ
Răzvan Diaconescu
,
Kokichi Futatsugi
Theoretical Computer Science
285
(2), 2002, pp. 289-318
Contraction algebras and unification of (infinite) terms
Răzvan Diaconescu
Journal of Computer and System Sciences
44
, 1992, pp. 23-42