Timed Pushdown Automata: Expressiveness and Reachability

国立国会図書館永続的識別子: info:ndljp/pid/11123094

資料種別: 博士論文

著者: Uezato, Yuyaほか

出版者: -

出版年: 2018

資料形態: デジタル

ページ数・大きさ等: -

授与大学名・学位: 筑波大学 (University of Tsukuba),博士（工学） / Doctor of Philosophy in Engineering

すべて見る

国立国会図書館での利用に関する注記

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

資料に関する注記

一般注記：: 2017

書店で探す

障害者向け資料で読む

障害者向け資料を見る（1種類）

書店で探す

障害者向け資料で読む

他サービス
- テキストデータ国立国会図書館デジタルコレクションで確認する

書誌情報

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

デジタル

資料種別: 博士論文
タイトル: Timed Pushdown Automata: Expressiveness and Reachability
著者・編者: Uezato, Yuya
上里, 友弥
出版年月日等: 2018
出版年（W3CDTF）: 2018
並列タイトル等: 時間プッシュダウンオートマトンの表現力と到達可能性問題
授与機関名: 筑波大学 (University of Tsukuba)
授与年月日: 2018-03-23
授与年月日（W3CDTF）: 2018-03-23
報告番号: 甲第8516号
学位: 博士（工学） / Doctor of Philosophy in Engineering
博論授与番号: 甲第8516号
本文の言語コード: eng
一般注記: 2017
DOI: info:doi/10.15068/00152389
https://doi.org/info:doi/10.15068/00152389
国立国会図書館永続的識別子: info:ndljp/pid/11123094
https://dl.ndl.go.jp/pid/11123094
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
収集根拠: 博士論文（自動収集）
受理日（W3CDTF）: 2018-08-03T23:36:01+09:00
作成日（W3CDTF）: 2018-07-05
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: 国立国会図書館内限定公開
デジタル化資料送信: 図書館・個人送信対象外
遠隔複写可否（NDL）: 可
掲載誌（URI）: http://hdl.handle.net/2241/00152389
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp