ダウンロード数: 169

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0790-37.pdf1.07 MBAdobe PDF見る/開く
タイトル: Logspace Bounded Alternation and Logical Query Programs
著者: OKABE, Yasuo  kyouindb  KAKEN_id  orcid https://orcid.org/0000-0003-0825-2256 (unconfirmed)
TSUDA, Takao
著者名の別形: 岡部, 寿男
津田, 孝夫
発行日: Jun-1992
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 790
開始ページ: 269
終了ページ: 275
URI: http://hdl.handle.net/2433/82640
出現コレクション:0790 理論計算機科学とその周辺

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。