Combining Equational Theories Sharing Non-Collapse-Free Constructors

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
„October“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).
„October“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).
„October“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).
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
Technical Report, Department of Computer Science, University of Iowa, volume 99-13,  1999
  • KurzfassungAbstract
    In a previous work, we describe a method to combine decision procedures for the word problem for theories sharing constructors. One of the requirements of our combination method is that the constructors be collapse-free. This paper removes that requirement by modifying the method so that it applies to non-collapse-free constructors as well. This broadens the scope of our combination results considerably, for example in the direction of equational theories corresponding to modal logics.
  • Forschungsgruppe:Research Group: Automatentheorie
„October“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).
@techreport{ Baader-Tinelli-Report-99-13,
  author = {Franz {Baader} and Cesare {Tinelli}},
  institution = {Department of Computer Science, University of Iowa},
  month = {October},
  number = {99-13},
  title = {Combining Equational Theories Sharing Non-Collapse-Free Constructors},
  year = {1999},
}
„October“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).