Termination of Narrowing


Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unifcationn Narrowing has been widely used in different contexts, ranging from theorem proving to language designn Surprisingly, the termination of narrowing has been mostly overlookedn In this paper, we present a new approach for analyzing… (More)


  • Presentations referencing similar topics