Recherche et téléchargement d’archives de revues mathématiques numérisées
Lüttgen, Gerald; Vogler, Walter
Bisimulation on speed : lower time bounds. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 39 no. 3 (2005), p. 587-618
Notice complète | Texte intégral djvu | pdf | Analyses MR 2157048 | Zbl 1077.68064
Vogler, Walter
A generalization of traces. Informatique théorique et applications, 25 no. 2 (1991), p. 147-156
Notice complète | Texte intégral djvu | pdf | Analyses MR 1110981 | Zbl 0731.68083