DMCA

Automated Modular Termination Proofs for Real Prolog Programs (1996)

Cached

Download Links

by Martin Müller , Thomas Glaß , Karl Stroetmann
Venue:In Proc. of 3rd SAS, LNCS 1145
Citations:1 - 0 self