A Framework for the Verification of Certifying Computations

Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine

doi:10.1007/s10817-013-9289-2

A Framework for the Verification of Certifying Computations

Alkassar, E., Böhme, S., Mehlhorn, K., & Rizkallah, C. (2014). A Framework for the Verification of Certifying Computations. Journal of Automated Reasoning, 52(3), 241-273. doi:10.1007/s10817-013-9289-2.

Item is 公開

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

基本情報

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-3DF3-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-3DF4-5

資料種別: 学術論文

ファイル

表示: ファイル

作成者

表示:

非表示:

作成者:
Alkassar, Eyad¹, 著者
Böhme, Sascha¹, 著者
Mehlhorn, Kurt², 著者
Rizkallah, Christine², 著者

所属:
1External Organizations, ou_persistent22
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019

内容説明

表示:

非表示:

キーワード: Computer Science, Logic in Computer Science, cs.LO,Computer Science, Data Structures and Algorithms, cs.DS,Computer Science, Formal Languages and Automata Theory, cs.FL

要旨: -

資料詳細

表示:

非表示:

言語: eng - English

日付: オンライン出版: 2013-06-29出版: 2014

出版の状態: 出版

ページ: -

出版情報: -

目次: -

査読: -

識別子（DOI, ISBNなど）: DOI: 10.1007/s10817-013-9289-2
BibTex参照ID: AlkassarJAR2014

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: Journal of Automated Reasoning

種別: 学術雑誌

著者・編者:

所属:

出版社, 出版地: Dordrecht, Holland : Springer

ページ: - 巻号: 52 (3) 通巻号: - 開始・終了ページ: 241 - 273 識別子（ISBN, ISSN, DOIなど）: ISSN: 0168-7433
ISSN: 1573-0670
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1