Franz Baader, Cesare Tinelli  Home/Search
Context Related
| uiowa.edu/pub/tinel...BaaTinRTA02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiowa.edu/~tinelli/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper addresses the following combination problem: given two equational theories E and E2 whose positive theories are decidable, how can one obtoJn a decision procedure for the positive theory of E U E27 For theories over disjoint signatures, this problem was solved by Baader and Schulz in 1995. This paper is a first step towards extending this result to the case of theories sharing constructors. Since there is a close connection between positive theories and unification problems,... (Update)
Context of citations to this paper: More
...further research. Space constraints prevent us from providing all the proofs of the results in the paper. The missing proofs can be found in [4]. 2 Preliminaries In this paper we will use standard notions from universal algebra such as formula, sentence, algebra, subalgebra,...
Cited by: More
Model-Theoretic Methods in Combined Constraint Satisfiability - Ghilardi (2004) (Correct)
A Tableau Calculus for Combining Non-Disjoint Theories - Zarba (2002) (Correct)
Combining Theories Sharing Dense Orders - Calogero Zarba Zohar (2003) (Correct)
Similar documents (at the sentence level):
13.4%: Combining Decision Procedures for Positive Theories Sharing.. - Baader, Tinelli (2002) (Correct)
Active bibliography (related documents): More All
0.3: A New Combination Procedure for the Word Problem that.. - Baader, Ghilardi.. (2003) (Correct)
0.2: Path Rewriting and Combined Word Problems - Fiorentini, Ghilardi (2000) (Correct)
0.1: Deciding the Word Problem in the Union of Equational Theories - Baader (1999) (Correct)
Similar documents based on text: More All
1.1: Deciding the Word Problem in the Union of Equational Theories .. - Baader, Tinelli (1999) (Correct)
1.1: Combination of Constraint Solving Techniques: An Algebraic.. - Baader, Schulz (Correct)
1.0: A New Approach for Combining Decision Procedures for the Word .. - Baader, Tinelli (1997) (Correct)
Related documents from co-citation: More All
5: Unions of non-disjoint theories and combinations of satisability procedures - Tinelli, Ringeissen - 2001
4: Combination techniques for non-disjoint equational theories - Domenjoud, Klay et al. - 1994
3: A new correctness proof of the Nelson--Oppen combination procedure - Tinelli, Harandi - 1996
BibTeX entry: (Update)
F. Baader and C. Tinelli. Combining decision procedures for positive theories sharing constructors. Technical report no. 02-02, Dept. of Computer Science, University of Iowa, 2002 (available at http://cs.uiowa.edu/~tinelli/papers.html). http://citeseer.ist.psu.edu/baader02combining.html More
@misc{ baader02combining,
author = "F. Baader and C. Tinelli",
title = "Combining decision procedures for positive theories sharing constructors",
text = "F. Baader and C. Tinelli. Combining decision procedures for positive theories
sharing constructors. Technical report no. 02-02, Dept. of Computer Science,
University of Iowa, 2002 (available at http://cs.uiowa.edu/~tinelli/papers.html).",
year = "2002",
url = "citeseer.ist.psu.edu/baader02combining.html" }
Citations (may not include all citations):154 Simplification by cooperating decision procedures (context) - Nelson, Oppen - 1979
133 Cambridge University Press (context) - Hodges - 1993
71 Unification in the union of disjoint equational theories: Co.. - Baader, Schulz - 1996
62 A unification algorithm for associative commutative function.. (context) - Stickel - 1981
44 Combination techniques for nondisjoint equational theories - Domenjoud, Klay et al. - 1994
23 Unions of non-disjoint theories and combinations of satisfia.. - Tinelli, Ringeissen - 2002
22 Combination of constraint solving techniques: An algebraic p.. - Baader, Schulz - 1995
17 The join of equational theories (context) - Pigozzi - 1974
16 Deciding the word problem in the union of equational theorie.. - Baader, Tinelli - 2002
9 Unification in a combination of arbitrary disjoint equationa.. (context) - Schmidt-Schau - 1989
5 Combining decision procedures for positive theories sharing .. - Baader, Tinelli - 2002
2 Personal communication (context) - Ringeissen - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cs.uiowa.edu/~tinelli/papers.html): More
A New Approach for Combining Decision Procedures for the Word .. - Baader, Tinelli (1997) (Correct)
Combining Equational Theories Sharing Non-Collapse-Free.. - Baader, Tinelli (1999) (Correct)
Constraint Logic Programming over Unions of Constraint Theories - Tinelli, Harandi (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC