「"Cai, Xiaojuan"」の検索結果 | NDLサーチ

検索結果 5 件

タイトルでまとめる

Termination and Boundedness for Well-Structured Pushdown Systems

デジタル文書・図像類

Lei, Suhua, Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-17Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-001p.1-25

全国の図書館

著者標目Lei, Suhua Cai, Xiaojuan Ogawa, Mizuhito

Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata

デジタル文書・図像類

Ogawa, Mizuhito, Cai, Xiaojuan北陸先端科学技術大学院大学情報科学研究科2013-08-19Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-005p.1-18

全国の図書館

著者標目Ogawa, Mizuhito Cai, Xiaojuan

Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability

デジタル文書・図像類

Cai, Xiaojuan, Ogawa, Mizuhito北陸先端科学技術大学院大学情報科学研究科2013-01-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-001p.1-19

全国の図書館

著者標目Cai, Xiaojuan Ogawa, Mizuhito

Nested Timed Automata

デジタル文書・図像類

Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji北陸先端科学技術大学院大学情報科学研究科2013-06-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-004p.1-20

全国の図書館

著者標目Li, Guoqiang Cai, Xiaojuan Ogawa, Mizuhito Yuen, Shoji

Journal of Oleo Science

紙雑誌雑誌タイトル

Japan Oil Chemists' Society2001-[202-]<Z54-J571>

国立国会図書館全国の図書館

検索結果は以上です。

RSS