日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  Tighter Connections Between Formula-SAT and Shaving Logs

Abboud, A., & Bringmann, K. (2018). Tighter Connections Between Formula-SAT and Shaving Logs. In I., Chatzigiannakis, C., Kaklamanis, D., Marx, & D., Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2018.8.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/21.11116/0000-0002-16FB-B 版のパーマリンク: https://hdl.handle.net/21.11116/0000-0002-1701-3
資料種別: 会議論文
LaTeX : Tighter Connections Between Formula-{SAT} and Shaving Logs

ファイル

表示: ファイル

関連URL

表示:
非表示:
URL:
http://drops.dagstuhl.de/opus/volltexte/2018/9012/ (出版社版)
説明:
-
OA-Status:
URL:
http://drops.dagstuhl.de/doku/urheberrecht1.html (著作権譲渡合意書)
説明:
-
OA-Status:

作成者

表示:
非表示:
 作成者:
Abboud, Amir1, 著者
Bringmann, Karl2, 著者           
所属:
1External Organizations, ou_persistent22              
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2018
 出版の状態: オンラインで出版済み
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: DOI: 10.4230/LIPIcs.ICALP.2018.8
BibTex参照ID: Abboud_ICALP2018
URN: urn:nbn:de:0030-drops-90129
 学位: -

関連イベント

表示:
非表示:
イベント名: 45th International Colloquium on Automata, Languages, and Programming
開催地: Prague, Czech Republic
開始日・終了日: 2018-07-09 - 2018-07-13

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: 45th International Colloquium on Automata, Languages, and Programming
  省略形 : ICALP 2018
  副タイトル : ICALP 2018, Prague, Czech Republic, July 9–13, 2018
種別: 会議論文集
 著者・編者:
Chatzigiannakis, Ioannis1, 編集者
Kaklamanis, Christos1, 編集者
Marx, Dániel1, 編集者
Sannella, Donald1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Wadern : Schloss Dagstuhl
ページ: - 巻号: - 通巻号: 8 開始・終了ページ: 1 - 18 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-95977-076-7

出版物 2

表示:
非表示:
出版物名: Leibniz International Proceedings in Informatics
  省略形 : LIPIcs
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 107 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -