Ordered Rewriting and Confluence

Ursula Hilda Mary Martin; T Nipkow

doi:10.1007/3-540-52885-7_100

Ordered Rewriting and Confluence

Ursula Hilda Mary Martin
, T Nipkow

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
Pages	366-380
DOIs	https://doi.org/10.1007/3-540-52885-7_100
Publication status	Published - 1990
Event	10th International Conference on Automated Deduction - Kaiserslautern, Germany Duration: 24 Jul 1990 → 27 Jul 1990

Conference

Conference	10th International Conference on Automated Deduction
Country/Territory	Germany
City	Kaiserslautern
Period	24/07/90 → 27/07/90

Access to Document

10.1007/3-540-52885-7_100

Handle.net

Persistent link to portal record

Cite this

@conference{1969afe0494a4688bcd8bbd40e1d7a33,

title = "Ordered Rewriting and Confluence",

author = "Martin, \{Ursula Hilda Mary\} and T Nipkow",

note = "Proc 10th International Conference on Automated Deduction (CADE-10).Lecture Notes in Computer Science. ISBN: 978-3-540-52885-2; 10th International Conference on Automated Deduction ; Conference date: 24-07-1990 Through 27-07-1990",

year = "1990",

doi = "10.1007/3-540-52885-7\_100",

language = "English",

pages = "366--380",

}

TY - CONF

T1 - Ordered Rewriting and Confluence

AU - Martin, Ursula Hilda Mary

AU - Nipkow, T

N1 - Proc 10th International Conference on Automated Deduction (CADE-10).Lecture Notes in Computer Science. ISBN: 978-3-540-52885-2

PY - 1990

Y1 - 1990

U2 - 10.1007/3-540-52885-7_100

DO - 10.1007/3-540-52885-7_100

M3 - Paper

SP - 366

EP - 380

T2 - 10th International Conference on Automated Deduction

Y2 - 24 July 1990 through 27 July 1990

ER -