Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68] (Theoretical Computer Science (2002) 272(1–2) (41–68), (S0304397500003479), (10.1016/S0304-3975(00)00347-9))

Frédéric Blanqui, Jean Pierre Jouannaud, Mitsuhiro Okada

Research output: Contribution to journalComment/debatepeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68] (Theoretical Computer Science (2002) 272(1–2) (41–68), (S0304397500003479), (10.1016/S0304-3975(00)00347-9))'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science