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

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
  詳細要約

公開
報告書

Contextual Rewriting

MPS-Authors
/persons/resource/persons45719

Weidenbach,  Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons45753

Wischnewski,  Patrick
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource
There are no locators available
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
フルテキスト (公開)

2009-RG1-002
(全文テキスト（全般）), 10KB

付随資料 (公開)
There is no public supplementary material available
引用

Weidenbach, C., & Wischnewski, P.(2009). Contextual Rewriting (MPI-I-2009-RG1-002).


引用: https://hdl.handle.net/11858/00-001M-0000-000F-1A4C-2
要旨
要旨はありません