| 1992 |
|---|
| 6 | | Aristide Mégrelis:
Partial Algebra + Order-Sorted Algebra = Galactic Algebra.
LFCS 1992: 314-325 |
| 5 | | 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) |
| 1988 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | D. Sciamma,
X. Sola,
Aristide Mégrelis:
XLOG: types, fonctions et tableaux dans Prolog.
SPLT 1985 |
| 1984 |
|---|
| 1 | | Aristide Mégrelis,
D. Sciamma,
T. Banel:
Premières mesures sur l'interpréteur de PROLOG II.
SPLT 1984 |
