Recursively Defined Domains and their Induction Principles

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Original languageEnglish
Title of host publicationTheoretical Computer Science 64
Publication date1987
Publication statusPublished - 1987

Keywords

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

Cite this

@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",

}

Recursively Defined Domains and their Induction Principles. / Jensen, Finn V.; Larsen, Kim Guldstrand.

Theoretical Computer Science 64. 1987.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

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 -