Type-Based Homeomorphic Embedding for Online Termination
Information Processing Letters - Netherlands
doi 10.1016/j.ipl.2009.04.016
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 2009
Authors
Publisher
Elsevier BV
Available in full text
July 1, 2009
Elsevier BV