Ordered Rewriting and Confluence

Research output: Contribution to conferencePaper

33 Citations (Scopus)
Original languageEnglish
Pages366-380
DOIs
Publication statusPublished - 1990
Event10th International Conference on Automated Deduction - Kaiserslautern, Germany
Duration: 24 Jul 199027 Jul 1990

Conference

Conference10th International Conference on Automated Deduction
Country/TerritoryGermany
CityKaiserslautern
Period24/07/9027/07/90

Cite this