- CSB - MetaPress - Google - Bing - Yahoo
 | 1992 | |
|---|---|---|
| j1 |      | Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis: Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. J. Log. Program. 12(3&4): 257-279 (1992) |
| c5 | | |
| 1988 | ||
| c4 | | Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis: OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP 1988: 41-52 |
| 1987 | ||
| c3 | | Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler: An Introduction to OBJ 3. CTRS 1987: 258-263 |
| 1985 | ||
| c2 |  | |
| 1984 | ||
| c1 | | Aristide Mégrelis, D. Sciamma, T. Banel: Premières mesures sur l'interpréteur de PROLOG II. SPLT 1984 |
| 1 | T. Banel | |
| 2 | Joseph A. Goguen | |
| 3 | Jean-Pierre Jouannaud | |
| 4 | Claude Kirchner | |
| 5 | Hélène Kirchner | |
| 6 | José Meseguer | |
| 7 | D. Sciamma | |
| 8 | X. Sola | |
| 9 | Timothy C. Winkler |
Colors in the list of coauthors
Last update Mon May 20 19:52:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page