A logical analysis on theory of conditional rewriting: Preliminary report

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
Original languageEnglish
Title of host publicationConditional Term Rewriting Systems - 1st International Workshop, Proceedings
EditorsStephane Kaplan, Jean-Pierre Jouannaud
PublisherSpringer Verlag
Pages179-196
Number of pages18
ISBN (Print)9783540192428
DOIs
Publication statusPublished - 1988 Jan 1
Externally publishedYes
Event1st International Workshop on Conditional Term Rewriting Systems, 1987 - Orsay, France
Duration: 1987 Jul 81987 Jul 10

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume308 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st International Workshop on Conditional Term Rewriting Systems, 1987
CountryFrance
CityOrsay
Period87/7/887/7/10

Fingerprint

Rewriting

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

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).

Research output: Chapter in Book/Report/Conference proceedingConference 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)). https://doi.org/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",
year = "1988",
month = "1",
day = "1",
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",
address = "Germany",

}

TY - GEN

T1 - A logical analysis on theory of conditional rewriting

T2 - Preliminary report

AU - Okada, Mitsuhiro

PY - 1988/1/1

Y1 - 1988/1/1

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

ER -