%0 Journal Article %1 journals/tcs/BlanquiJO20 %A Blanqui, Frédéric %A Jouannaud, Jean-Pierre %A Okada, Mitsuhiro %D 2020 %J Theor. Comput. Sci. %K dblp %P 81-82 %T Corrigendum to "Inductive-data-type systems" Theoret. Comput. Sci. 272 (1-2) (2002) 41-68. %U http://dblp.uni-trier.de/db/journals/tcs/tcs817.html#BlanquiJO20 %V 817

@article{journals/tcs/BlanquiJO20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Blanqui, Frédéric and Jouannaud, Jean-Pierre and Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/25cae1cf091597016a25f134ed51010b0/dblp}, ee = {https://doi.org/10.1016/j.tcs.2018.01.010}, interhash = {20ea58b6713635e3a4ef6b65515bb49b}, intrahash = {5cae1cf091597016a25f134ed51010b0}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {81-82}, timestamp = {2024-04-08T18:45:08.000+0200}, title = {Corrigendum to "Inductive-data-type systems" [Theoret. Comput. Sci. 272 (1-2) (2002) 41-68].}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs817.html#BlanquiJO20}, volume = 817, year = 2020 }