![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005) |
2004 | ||
2 | EE | Catherine Menon, Charles Lakos: Towards a Semantic Basis for Rosetta. ACSC 2004: 175-184 |
2003 | ||
1 | EE | Cindy Kong, Perry Alexander, Catherine Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. UCS 9(11): 1322-1349 (2003) |
1 | Perry Alexander | [1] |
2 | Michael Johnson | [3] |
3 | Cindy Kong | [1] |
4 | Charles Lakos | [2] [3] |