Homeomorphic embedding for online termination of symbolic methods (2002)

Cached

Download Links

by Michael Leuschel
Venue:In The essence of computation, volume 2566 of LNCS
Citations:28 - 5 self