Recursively Defined Domains and their Induction Principles

Finn V. Jensen, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelTheoretical Computer Science 64
Publikationsdato1987
StatusUdgivet - 1987

Emneord

  • Structural induction
  • Simultaneous recursion
  • Simultaneous Induction
  • Simultaneously defined domains

Citationsformater

Jensen, F. V., & Larsen, K. G. (1987). Recursively Defined Domains and their Induction Principles. I Theoretical Computer Science 64