Feasible Trace Reconstruction for Rewriting Approximations

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_10 ◽

2006 ◽

pp. 123-135 ◽

Cited By ~ 2

Author(s):

Yohan Boichut ◽

Thomas Genet

Download Full-text