Book chapter
Combining Equational Theories Sharing Non-Collapse-Free Constructors
Frontiers of Combining Systems, pp.260-274
Lecture Notes in Computer Science, Springer Berlin Heidelberg
2000
DOI: 10.1007/10720084_17
Abstract
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.
Details
- Title: Subtitle
- Combining Equational Theories Sharing Non-Collapse-Free Constructors
- Creators
- Franz Baader - RWTH Aachen UniversityCesare Tinelli - University of Iowa
- Resource Type
- Book chapter
- Publication Details
- Frontiers of Combining Systems, pp.260-274
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/10720084_17
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 2000
- Academic Unit
- Computer Science
- Record Identifier
- 9984259434202771
Metrics
14 Record Views