Towards static type checking for XSLT

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
デジタル
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 記事
タイトル: Towards static type checking for XSLT
著者標目: Akihiko Tozawa
出版年月日等: 2001-11-09
出版年（W3CDTF）: 2001-11-09
タイトル（掲載誌）: Proceedings of the 2001 ACM Symposium on Document engineering
掲載年月日（W3CDTF）: 2001-11-09
出版事項（掲載誌）: ACM
対象利用者: 一般
DOI: 10.1145/502187.502191
作成日（W3CDTF）: 2004-04-19
関連情報（URI）: https://dl.acm.org/doi/pdf/10.1145/502187.502191
参照: Graph-transformation verification using monadic second-order logic
https://cir.nii.ac.jp/crid/1360846643546801408
連携機関・データベース: 国立情報学研究所 : CiNii Research
提供元機関・データベース: Crossref
https://www.crossref.org
Crossref
https://www.crossref.org