MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Deciding Combinations of Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (Extended Abstract)
by David Cyrluk, Oliver Möller, Harald Rueß — 1997 — In: Computer-Aided Verification (CAV ’97
… readily be integrated into Shostak's procedure for deciding combinations of theories. Inputs to the solver…
Cited by 20 (2 self) – Add To MetaCart

Combination Techniques and Decision Problems for Disunification
by Franz Baader, Klaus U. Schulz — Theoretical Computer Science
… is decidable for the combined theory E 1 [ : : : [ E n . This result is analogous to the one for unification…
Cited by 21 (7 self) – Add To MetaCart

On Shostak's Decision Procedure for Combinations of Theories
by David Cyrluk, Patrick Lincoln, Natarajan Shankar — 1996
… equational theories whereas Shostak's procedure can merely decide the combination of disjoint canonizable…
Cited by 49 (8 self) – Add To MetaCart

[12] Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Some lessons learned. In J. C. P. Woodcock and P. G. Larsen, editors,
by Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke Formal, P. G. Larsen, Fme Industrial-Strength — 1993
… combinations of theories. Journal of the ACM, 31(1):1--12, January 1984. [19] A. S. Troelstra and D. van Dalen…
Add To MetaCart

unknown title
by John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt
…. Addison-Wesley, Reading, MA, 1967. [41] Robert E. Shostak. Deciding combinations of theories. Journal…
Add To MetaCart

Conditional Rewriting Modulo a Built-in Algebra; Jürgen Avenhaus and Klaus
by Franz Baader, Jörg Siekmann, Wayne Snyder, Mohamed Adi, Claude Kirchner
…. Then solvability of elementary disunification problems is decidable for the combined theory E1 ∪ ...∪ En…
Add To MetaCart

Contents Conditional Rewriting Modulo a Built-in Algebra; J"urgen Avenhaus and Klaus
by Unification Schloss Dagstuhl, Germany Franz, Siekmann Wayne Snyder — 1992
… of disunification problems in the free algebra of the combined theory E1 [. . .[En is decidable if solvability…
Add To MetaCart

Deciding Propositional Combinations of Equalities and Inequalities
by Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, N. Shankar
… symbols from these theories. The challenge is to eectively decide the combination of these theories. We…
Add To MetaCart

A comparison of decision procedures
by Predrag Janicic, Alan Bundy, Predrag Janicic, Alan Bundy — 1997 — in Presburger arithmetic. LIRA '97, Univ. of Novi Sad
…]. Combination schemes are typically aimed at decidable combinations of theories, while augmentation schemes…
Cited by 2 (0 self) – Add To MetaCart

Automated Deduction and Formal Methods
by John Rushby — 1996 — Computer-Aided Verification, CAV ’96, Volume 1102 of Springer-Verlag Lecture Notes in Computer Science
… the combination of their theories. -- They must deal gracefully with terms outside the decided theory…
Cited by 12 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB