Search results for: Max Dauchet
IEEE Robotics & Automation Magazine > 2017 > 24 > 3 > 139 - 145
Lecture Notes in Computer Science > Term Rewriting > 95-113
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 258-272
Lecture Notes in Computer Science
Theoretical Computer Science > 2002 > 281 > 1-2 > 219-233
Journal of Symbolic Computation > 1995 > 20 > 2 > 215-233