Active Bibliography

575 Model Theory – Wilfrid Hodges - 2000
578 Term Rewriting Systems – J. W. Klop - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
21 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
Composition of Modules with Hidden Information over Inclusive Institutions – Joseph Goguen, Grigore Rosu
A Foundational Approach to Modularization (Extended Abstract) – Grigore Rosu
1 Kan extensions of institutions – Grigore Rosu - 1999
12 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi