Search results for: Pierre Etienne Moreau
Lecture Notes in Computer Science > Rewriting Logic and Its Applications > Rewrite Engines > 243-261
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 51-65
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Objects and Components > 296-300
Lecture Notes in Computer Science > Rewriting Techniques and Applications > System Descriptions > 265-269
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Contributed Papers > 275-286
Software: Practice and Experience > 44 > 2 > 129 - 162
International Orthopaedics > 2012 > 36 > 8 > 1567-1573
Journal of Symbolic Computation > 2010 > 45 > 5 > 523-550
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 281-291
Electronic Notes in Theoretical Computer Science > 2009 > 234 > Complete > 37-54