Forskning ved Københavns Universitet - Københavns Universitet

Forside

Explicit Cyclic Substitution

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  • Kristoffer Høgsbro Rose
OriginalsprogEngelsk
Titel3rd International Workshop on Conditional Term Rewriting Systems (CTRS'92)
Publikationsdato1992
StatusUdgivet - 1992

ID: 284393