Searching for authors named "Grigore Rosu" – sorted by Relevance.
57 documents found, showing 1 through 10.
Next 10 →
-
Behavioral Abstraction is Information Hiding
- …Behavioral Abstraction is Information Hiding Grigore Rosu Research Institute for Advanced Computer…
- Add To MetaCart
-
A Foundational Approach to Modularization (Extended Abstract)
- …A Foundational Approach to Modularization - Extended Abstract - Grigore Rosu Research Institute…
- Add To MetaCart
-
The Institution of order-sorted equational logic
- …The Institution of order-sorted equational logic Grigore Rosu University of Bucharest, Faculty…
- Cited by 1 (1 self) – Add To MetaCart
-
Equational Axiomatizability for Coalgebra
- …Equational Axiomatizability for Coalgebra Grigore Ro��su 1 Department of Computer Science…
- Cited by 14 (3 self) – Add To MetaCart
-
A Birkho-like axiomatizability result for hidden algebra and coalgebra
- … Grigore Rosu ? Department of Computer Science & Engineering University of California at San Diego La Jolla…
- Cited by 1 (1 self) – Add To MetaCart
-
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
- … Rosu ? Department of Computer Science & Engineering University of California at San Diego La Jolla, CA…
- Cited by 1 (0 self) – Add To MetaCart
-
Complete Categorical Equational Deduction
- …Complete Categorical Equational Deduction Grigore Rosu Research Institute for Advanced Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Behavioral Coinductive Rewriting
- …Behavioral Coinductive Rewriting Grigore Rosu ? Department of Computer Science & Engineering…
- Cited by 6 (2 self) – Add To MetaCart
-
Kan Extensions of Institutions
- …Kan Extensions of Institutions Grigore Rosu 1 Department of Computer Science & Engineering…
- Cited by 1 (0 self) – Add To MetaCart
-
Composition of Modules with Hidden Information over Inclusive Institutions
- … and Grigore Rosu 2 1 Department of Computer Science & Engineering University of California at San Diego E…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
