„October“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Combining Equational Theories Sharing Non-Collapse-Free Constructors

Franz BaaderFranz Baader, Cesare TinelliCesare Tinelli

Datei:Baader-Tinelli-Report-99-13.ps.gz

Download

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

Details
Bibtex

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: AutomatentheorieAutomata Theory

@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},
}