On the complexity of inductive definitions
-
Published:2006-10
Issue:05
Volume:16
Page:763
-
ISSN:0960-1295
-
Container-title:Mathematical Structures in Computer Science
-
language:en
-
Short-container-title:Math. Struct. in Comp. Science
Author:
CENZER DOUGLAS,REMMEL JEFFREY B.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)