Active Bibliography

13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
10 A Protocol for Distributed Cooperative Work – Joseph Goguen, Grigore Rosu - 1999
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
5 Themes in Final Semantics – Marina Lenisa - 1998
4 A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra – Grigore Rosu - 2000
Contents lists available at ScienceDirect – unknown authors
London, United Kingdom – unknown authors
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
Behavioral Abstraction is Information Hiding – Grigore Rosu
7 Hidden Congruent Deduction – Grigore Ro, Joseph Goguen - 1998
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
1 Behavioral and Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
6 Behavioral Coinductive Rewriting – Grigore Rosu - 1999
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000