dblp.uni-trier.dewww.uni-trier.de

Aristide Mégrelis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
4EEJean-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

Coauthor Index

1T. Banel [1]
2Joseph A. Goguen [3]
3Jean-Pierre Jouannaud [4] [5]
4Claude Kirchner [3] [4] [5]
5Hélène Kirchner [3] [4] [5]
6José Meseguer [3]
7D. Sciamma [1] [2]
8X. Sola [2]
9Timothy C. Winkler [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)