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

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 タグ情報を表示リリース履歴を表示詳細要約
  Variable and Clause Elimination for LTL Satisfiability Checking

Suda, M. (2013). Variable and Clause Elimination for LTL Satisfiability Checking. In M., Košta, & T., Sturm (Eds.), Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences (pp. 60-74).

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-9F19-9 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-9F1A-7
資料種別: 会議論文
LaTeX : Variable and Clause Elimination for {LTL} Satisfiability Checking

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Suda, Martin1, 著者           
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116545              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2013
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: VCEforLTLmacis2013
 学位: -

関連イベント

表示:
非表示:
イベント名: Fifth International Conference on Mathematical Aspects of Computer and System Sciences
開催地: Nanning, China
開始日・終了日: 2013-12-11 - 2013-12-13

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences
  省略形 : MACIS 2013
種別: 会議論文集
 著者・編者:
Košta, Marek1, 編集者           
Sturm, Thomas1, 編集者           
所属:
1 Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545            
出版社, 出版地: -
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 60 - 74 識別子（ISBN, ISSN, DOIなど）: -