dblp.uni-trier.dewww.uni-trier.de

Catherine Menon

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Perry Alexander [1]
2Michael Johnson [3]
3Cindy Kong [1]
4Charles Lakos [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)