A Refined Version of General E-Unification

Socher-Ambrosius, Rolf

doi:10.1007/3-540-58156-1_48

アイテム詳細

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

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

A Refined Version of General E-Unification

MPS-Authors

/persons/resource/persons44009

Socher-Ambrosius, Rolf
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

https://rdcu.be/dttYk
(出版社版)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

Socher-Ambrosius, R. (1994). A Refined Version of General E-Unification. In A., Bundy (Ed.), Automated Deduction - CADE-12 (pp. 665-677). Berlin, Germany: Springer.

引用: https://hdl.handle.net/11858/00-001M-0000-0014-AD5B-F

要旨

要旨はありません