No Cover Image

Book chapter 392 views 27 downloads

Inductive-Inductive Definitions / Anton, Setzer

Computer Science Logic, Volume: 6247, Pages: 454 - 468

Swansea University Author: Anton, Setzer

Abstract

This article presents a new extension of inductive definitions, namely inductive-inductive definitions.

Published in: Computer Science Logic
ISBN: 978-3-642-15204-7 978-3-642-15205-4
ISSN: 0302-9743 1611-3349
Published: Springer 2010
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa5299
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: This article presents a new extension of inductive definitions, namely inductive-inductive definitions.
College: College of Science
Start Page: 454
End Page: 468