Recursively Defined Domains and their Induction Principles

Finn V. Jensen; Kim Guldstrand Larsen

Recursively Defined Domains and their Induction Principles

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Theoretical Computer Science 64
Publikationsdato	1987
Status	Udgivet - 1987

Emneord

Structural induction
Simultaneous recursion
Simultaneous Induction
Simultaneously defined domains

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inbook{8b9814709c2e11db8ed6000ea68e967b,

title = "Recursively Defined Domains and their Induction Principles",

keywords = "Structural induction, Simultaneous recursion, Simultaneous Induction, Simultaneously defined domains, Structural induction, Simultaneous recursion, Simultaneous Induction, Simultaneously defined domains",

author = "Jensen, {Finn V.} and Larsen, {Kim Guldstrand}",

year = "1987",

language = "English",

booktitle = "Theoretical Computer Science 64",

}

TY - CHAP

T1 - Recursively Defined Domains and their Induction Principles

AU - Jensen, Finn V.

AU - Larsen, Kim Guldstrand

PY - 1987

Y1 - 1987

KW - Structural induction

KW - Simultaneous recursion

KW - Simultaneous Induction

KW - Simultaneously defined domains

KW - Structural induction

KW - Simultaneous recursion

KW - Simultaneous Induction

KW - Simultaneously defined domains

M3 - Book chapter

BT - Theoretical Computer Science 64

ER -