Unification in Sort Theories and its Applications

Weidenbach, Christoph

アイテム詳細

登録内容を編集ファイル形式で保存

Unification in Sort Theories and its Applications

Weidenbach, C. (1996). Unification in Sort Theories and its Applications. Annals of Mathematics and Artificial Intelligence, 18(2/4), 261-293.

Item is 公開

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

基本情報

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0014-AC29-9 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000E-334E-2

資料種別: 学術論文

ファイル

表示: ファイル

作成者

表示:

非表示:

作成者:
Weidenbach, Christoph^{1, 2}, 著者

所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

内容説明

表示:

資料詳細

表示:

非表示:

言語: eng - English

日付: 修正: 2010-03-12出版: 1996

出版の状態: 出版

ページ: -

出版情報: -

目次: -

査読: 査読あり

識別子（DOI, ISBNなど）: eDoc: 519856
その他: Local-ID: C1256104005ECAFC-1CA0D4A1FBDF8337C12564580035C6FB-Weidenbach96f

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: Annals of Mathematics and Artificial Intelligence

種別: 学術雑誌

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: 18 (2/4) 通巻号: - 開始・終了ページ: 261 - 293 識別子（ISBN, ISSN, DOIなど）: ISSN: 1012-2443

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1