A critical pair criterion for completion modulo a congruence

Leo Bachmair, Nachum Dershowitz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationEurocal 1987 - European Conference on Computer Algebra , Proceedings
EditorsJames H. Davenport
PublisherSpringer Verlag
Pages452-453
Number of pages2
ISBN (Print)9783540515173
DOIs
StatePublished - 1989
Externally publishedYes
Event6th International Conference on Computer Algebra, EUROCAL 1987 - Leipzig, Germany
Duration: 2 Jun 19875 Jun 1987

Publication series

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

Conference

Conference6th International Conference on Computer Algebra, EUROCAL 1987
Country/TerritoryGermany
CityLeipzig
Period2/06/875/06/87

Cite this