Aristide Mégrelis

According to our database, Aristide Mégrelis authored at least 6 papers between 1984 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

J. Log. Program., 1992

Partial Algebra + Order-Sorted Algebra = Galactic Algebra.

Aristide Mégrelis

Proceedings of the Logical Foundations of Computer Science, 1992

1988

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Proceedings of the Algebraic and Logic Programming, 1988

1987

An Introduction to OBJ 3.

Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler

Proceedings of the Conditional Term Rewriting Systems, 1987

1985

XLOG: types, fonctions et tableaux dans Prolog.

D. Sciamma, X. Sola, Aristide Mégrelis

Proceedings of the SPLT'85, 1985

1984

Premières mesures sur l'interpréteur de PROLOG II.

Aristide Mégrelis, D. Sciamma, T. Banel

Proceedings of the SPLT'84, 1984