Combining Equational Theories Sharing Non-Collapse-Free Constructors

Franz BaaderFranz Baader, Cesare TinelliCesare Tinelli

Datei:Baader-Tinelli-FroCoS-00.ps.gz

Download

Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In H. Kirchner and Ch. Ringeissen, eds., Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, 257-271, 2000. Springer

Details
Bibtex

KurzfassungAbstract
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension broadens the scope of the combination procedure considerably, for example in the direction of equational theories axiomatizing the equivalence of modal formulae.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ Baader-Tinelli-FroCoS-00,
  address = {Nancy, France},
  author = {F. {Baader} and C. {Tinelli}},
  booktitle = {Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000)},
  editor = {H. {Kirchner} and Ch. {Ringeissen}},
  pages = {257--271},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Combining Equational Theories Sharing Non-Collapse-Free Constructors},
  volume = {1794},
  year = {2000},
}