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

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  Algebraic and Logical Aspects of Unification

Bockmayr, A. (1992). Algebraic and Logical Aspects of Unification. In K. U., Schulz (Ed.), Word Equations and Related Topics (pp. 171-180). Berlin: Springer.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-C41F-9 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-C420-3
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Bockmayr, Alexander1, 著者           
所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

内容説明

表示:
非表示:
キーワード: -
 要旨: During the last years unification theory has become an important subfield of automated reasoning and logic programming. The aim of the present paper is to relate unification theory to classical work on equation solving in algebra and mathematical logic. We show that many problems in unification theory have their counterpart in classical mathematics and illustrate by various examples how classical results can be used to answer unification-theoretic questions.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 1992
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: Bockmayr92a
DOI: 10.1007/3-540-55124-7_6
 学位: -

関連イベント

表示:
非表示:
イベント名: 1st Workshop on Word Equations and Related Topics
開催地: Tübingen, Germany
開始日・終了日: 1990-10-01 - 1990-10-03

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Word Equations and Related Topics
  副タイトル : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
  省略形 : IWWERT 1990
種別: 会議論文集
 著者・編者:
Schulz, K. U.1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Berlin : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 171 - 180 識別子（ISBN, ISSN, DOIなど）: -

出版物 2

表示:
非表示:
出版物名: Lecture Notes in Computer Science
  省略形 : LNCS
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 572 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -