Combining Equational Theories Sharing Non-Collapse-Free Constructors

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Combining Equational Theories Sharing Non-Collapse-Free Constructors

Franz BaaderFranz Baader,  Cesare TinelliCesare Tinelli
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
  • 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},
}