Bi-inductive Structural Semantics
Work
Year: 2007
Type: article
Abstract: We propose a simple order-theoretic generalization of set-theoretic inductive definitions. This generalization covers inductive, co-inductive and bi-inductive definitions and is preserved by abstracti... more
Authors Patrick Cousot, Radhia Cousot
Institutions Département d'Informatique, École Normale Supérieure - PSL, Centre National de la Recherche Scientifique, École Polytechnique
Cites: 27
Cited by: 4
Related to: 10
FWCI: 0.423
Citation percentile (by year/subfield): 73.79
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold