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

Rekha Redamalla

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

2007
6EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic description of generalised binary methods. Mathematical Structures in Computer Science 17(4): 647-673 (2007)
2006
5EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Description of Generalized Binary Methods. Electr. Notes Theor. Comput. Sci. 135(3): 73-84 (2006)
4EELuigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 157(2): 67-78 (2006)
2005
3 Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents. WWV 2005: 127-137
2004
2EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. Electr. Notes Theor. Comput. Sci. 104: 163-180 (2004)
2003
1EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Strict Geometry of Interaction Graph Models. LPAR 2003: 407-421

Coauthor Index

1Furio Honsell [1] [2] [3] [4] [5] [6]
2Marina Lenisa [1] [2] [5] [6]
3Luigi Liquori [3] [4]

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