Deciding the Word Problem in the Union of Equational Theories

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Deciding the Word Problem in the Union of Equational Theories

F. BaaderF. Baader,  C. TinelliC. Tinelli

F. Baader, C. Tinelli
Deciding the Word Problem in the Union of Equational Theories
Information and Computation, 178(2):346--390, 2002

• Details
• Bibtex

• KurzfassungAbstract
  The main contribution of this article is a new method for

  combining decision procedures for the word problem in equational theories. In contrast to previous methods, it is based on transformation rules, and also applies to theories sharing

  "constructors."
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ BaaderTinelliIC02,
  author = {F. {Baader} and C. {Tinelli}},
  journal = {Information and Computation},
  number = {2},
  pages = {346--390},
  title = {Deciding the Word Problem in the Union of Equational Theories},
  volume = {178},
  year = {2002},
}