|
Search the dblp DataBase
Aristide Mégrelis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. [Citation Graph (0, 0)][DBLP] ALP, 1988, pp:41-52 [Conf]
- Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
An Introduction to OBJ 3. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:258-263 [Conf]
- Aristide Mégrelis, D. Sciamma, T. Banel
Premières mesures sur l'interpréteur de PROLOG II. [Citation Graph (0, 0)][DBLP] SPLT, 1984, pp:- [Conf]
- D. Sciamma, X. Sola, Aristide Mégrelis
XLOG: types, fonctions et tableaux dans Prolog. [Citation Graph (0, 0)][DBLP] SPLT, 1985, pp:- [Conf]
- Aristide Mégrelis
Partial Algebra + Order-Sorted Algebra = Galactic Algebra. [Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:314-325 [Conf]
- Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:12, n:3&4, pp:257-279 [Journal]
Search in 0.001secs, Finished in 0.002secs
|