Aristide Mégrelis

Publication Activity (10 Years)

Years Active: 1984-1992
Publications (10 Years): 0

Publications

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) (1992)
Aristide Mégrelis
Partial Algebra + Order-Sorted Algebra = Galactic Algebra. LFCS (1992)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP (1988)
Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
An Introduction to OBJ 3. CTRS (1987)
D. Sciamma, X. Sola, Aristide Mégrelis
XLOG: types, fonctions et tableaux dans Prolog. SPLT (1985)
Aristide Mégrelis, D. Sciamma, T. Banel
Premières mesures sur l'interpréteur de PROLOG II. SPLT (1984)