BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
order (5)
monoton (2)
rewrit (2)
strategi (2)
resolut (2)

Stem paramodul$ (all stems)

20 papers:

ICFPICFP-2012-StewartBA #proving #theorem proving
Verified heap theorem prover by paramodulation (GS, LB, AWA), pp. 3–14.
Fingerprint Indexing for Paramodulation and Rewriting (SS), pp. 477–483.
IJCARIJCAR-2006-Paskevich #lazy evaluation
Connection Tableaux with Lazy Paramodulation (AP), pp. 112–124.
IJCARIJCAR-2004-BofillR #order
Redundancy Notions for Paramodulation with Non-monotonic Orderings (MB, AR), pp. 107–121.
CADECADE-2002-BofillR #order
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation (MB, AR), pp. 456–470.
ICALPICALP-2001-BofillG #on the
On the Completeness of Arbitrary Selection Strategies for Paramodulation (MB, GG), pp. 951–962.
Paramodulation with Built-in Abelian Groups (GG, RN), pp. 413–424.
CADECADE-1999-Benzmuller #higher-order
Extensional Higher-Order Paramodulation and RUE-Resolution (CB), pp. 399–413.
LICSLICS-1999-BofillGNR #order
Paramodulation with Non-Monotonic Orderings (MB, GG, RN, AR), pp. 225–233.
LICSLICS-1996-Nieuwenhuis #decidability
Basic Paramodulation and Decidable Theories (Extended Abstract) (RN), pp. 473–482.
Paramodulation without Duplication (CL), pp. 167–177.
Basic Paramodulation and Superposition (LB, HG, CL, WS), pp. 462–476.
Goal Directed Strategies for Paramodulation (WS, CL), pp. 150–161.
CADECADE-1990-BachmairG #on the #order #strict
On Restrictions of Ordered Paramodulation with Simplification (LB, HG), pp. 427–441.
Simultaneous Paramodulation (DB), pp. 442–455.
RTARTA-1989-Bachmair #normalisation #proving
Proof Normalization for Resolution and Paramodulation (LB), pp. 15–28.
From Paramodulation to Narrowing (SH), pp. 327–342.
Negative Paramodulation (LW, WM), pp. 229–239.
CADECADE-1980-GloessL #algorithm
Adding Dynamic Paramodulation to Rewrite Algorithms (PYG, JPHL), pp. 195–207.
CADECADE-1980-WosOH #named #refinement
Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.