On the modularity of termination for composable many-sorted term rewrite systems

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	[Oslo] : University of Oslo, Department of Informatics , 1997
Omfang	15 s.
Opplysninger	Elektronisk reproduksjon
ISBN	8273681467

Biblioteksøk