A logical analysis on theory of conditional rewriting: Preliminary report

Mitsuhiro Okada

doi:10.1007/3-540-19242-5_14

A logical analysis on theory of conditional rewriting: Preliminary report

Mitsuhiro Okada

研究成果: Conference contribution

本文言語	English
ホスト出版物のタイトル	Conditional Term Rewriting Systems - 1st International Workshop, Proceedings
編集者	Stephane Kaplan, Jean-Pierre Jouannaud
出版社	Springer Verlag
ページ	179-196
ページ数	18
ISBN（印刷版）	9783540192428
DOI	https://doi.org/10.1007/3-540-19242-5_14
出版ステータス	Published - 1988
外部発表	はい
イベント	1st International Workshop on Conditional Term Rewriting Systems, 1987 - Orsay, France 継続期間: 1987 7月 8 → 1987 7月 10

出版物シリーズ

名前	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻	308 LNCS
ISSN（印刷版）	0302-9743
ISSN（電子版）	1611-3349

Other

Other	1st International Workshop on Conditional Term Rewriting Systems, 1987
国/地域	France
City	Orsay
Period	87/7/8 → 87/7/10

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1007/3-540-19242-5_14

他のファイルとリンク

引用スタイル

Okada, M. (1988). A logical analysis on theory of conditional rewriting: Preliminary report. In S. Kaplan, & J-P. Jouannaud (Eds.), Conditional Term Rewriting Systems - 1st International Workshop, Proceedings (pp. 179-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 308 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-19242-5_14

A logical analysis on theory of conditional rewriting: Preliminary report. / Okada, Mitsuhiro.
Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. ed. / Stephane Kaplan; Jean-Pierre Jouannaud. Springer Verlag, 1988. p. 179-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 308 LNCS).

研究成果: Conference contribution

Okada, M 1988, A logical analysis on theory of conditional rewriting: Preliminary report. in S Kaplan & J-P Jouannaud (eds), Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 308 LNCS, Springer Verlag, pp. 179-196, 1st International Workshop on Conditional Term Rewriting Systems, 1987, Orsay, France, 87/7/8. https://doi.org/10.1007/3-540-19242-5_14

Okada M. A logical analysis on theory of conditional rewriting: Preliminary report. In Kaplan S, Jouannaud J-P, editors, Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Springer Verlag. 1988. p. 179-196. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-19242-5_14

Okada, Mitsuhiro. / A logical analysis on theory of conditional rewriting : Preliminary report. Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. editor / Stephane Kaplan ; Jean-Pierre Jouannaud. Springer Verlag, 1988. pp. 179-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0e9403d80c7e40f58f48b8c4ac9eb986,

title = "A logical analysis on theory of conditional rewriting: Preliminary report",

author = "Mitsuhiro Okada",

note = "Funding Information: This research supported in part by the National Science Foundation Grant DCR 85-13417, the Committee on Aid to Research Activity (Concordia University), Fonds pour la Formation de Chercheurs et l'Aidea la Recherche (Quebec), and the Natural Science and Engineering Research Council (Canada).; 1st International Workshop on Conditional Term Rewriting Systems, 1987 ; Conference date: 08-07-1987 Through 10-07-1987",

year = "1988",

doi = "10.1007/3-540-19242-5_14",

language = "English",

isbn = "9783540192428",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "179--196",

editor = "Stephane Kaplan and Jean-Pierre Jouannaud",

booktitle = "Conditional Term Rewriting Systems - 1st International Workshop, Proceedings",

}

TY - GEN

T1 - A logical analysis on theory of conditional rewriting

T2 - 1st International Workshop on Conditional Term Rewriting Systems, 1987

AU - Okada, Mitsuhiro

N1 - Funding Information: This research supported in part by the National Science Foundation Grant DCR 85-13417, the Committee on Aid to Research Activity (Concordia University), Fonds pour la Formation de Chercheurs et l'Aidea la Recherche (Quebec), and the Natural Science and Engineering Research Council (Canada).

PY - 1988

Y1 - 1988

UR - http://www.scopus.com/inward/record.url?scp=85032859997&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85032859997&partnerID=8YFLogxK

U2 - 10.1007/3-540-19242-5_14

DO - 10.1007/3-540-19242-5_14

M3 - Conference contribution

AN - SCOPUS:85032859997

SN - 9783540192428

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 179

EP - 196

BT - Conditional Term Rewriting Systems - 1st International Workshop, Proceedings

A2 - Kaplan, Stephane

A2 - Jouannaud, Jean-Pierre

PB - Springer Verlag

Y2 - 8 July 1987 through 10 July 1987

ER -