Reducing right hand sides for termination

H. Zantema

Onderzoeksoutput: Boek/rapport › Rapport › Academic

105 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's22
StatusGepubliceerd - 2005

Publicatie series

NaamComputer science reports
Volume0519
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200519Definitieve gepubliceerde versie, 191 KB

    Citeer dit