Book chapter 973 views 112 downloads
Inductive-Inductive Definitions
Fredrik Nordvall Forsberg,
Anton Setzer 
Computer Science Logic, Volume: 6247, Pages: 454 - 468
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (281.97KB)
DOI (Published version): 10.1007/978-3-642-15205-4_35
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: |
Faculty of Science and Engineering |
| Start Page: |
454 |
| End Page: |
468 |