Species of structures -- Complements on species of structures -- Combinatorial functional equations -- Complements on unlabeled enumeration -- Species on totally ordered sets -- Group actions and Pólya Theory
Summary
This book is the first complete presentation in English of the combinatorial theory of species, introduced by A. Joyal in 1980. It gives a unified understanding of the use of generating functions for both labeled and unlabeled structures and also provides a tool for the specification and analysis of these structures. Of particular importance is the capacity of combinatorial species to transform recursive definitions of tree-like structures into functional or differential equations, and conversely
Bibliography
Includes bibliographical references (pages 434-446) and indexes