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:
base (6)
procedur (4)
decis (3)
theorem (3)
group (3)

Stem superposit$ (all stems)

26 papers:

CADECADE-2015-BaumgartnerBW #named #proving #theorem proving
Beagle — A Hierarchic Superposition Theorem Prover (PB, JB, UW), pp. 367–377.
CADECADE-2013-BaumgartnerW #abstraction
Hierarchic Superposition with Weak Abstraction (PB, UW), pp. 39–57.
WRLAWRLA-2012-TushkanovaGRK #framework #rule-based
A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance (MS, CW), pp. 537–543.
PLDIPLDI-2011-PerezR #calculus #logic #proving #theorem proving
Separation logic + superposition calculus = heap theorem prover (JANP, AR), pp. 556–566.
Some Remarks on Superposition Based on Watson-Crick-Like Complementarity (FM, VM, JMS), pp. 372–383.
CADECADE-2009-BaumgartnerW #evolution
Superposition and Model Evolution Combined (PB, UW), pp. 17–34.
Superposition for Fixed Domains (MH, CW), pp. 293–307.
CSLCSL-2007-KorovinV #calculus #linear
Integrating Linear Arithmetic into Superposition Calculus (KK, AV), pp. 223–237.
Superposition Modulo a Shostak Theory (HG, TH, UW), pp. 182–196.
CADECADE-2003-GanzingerS #equivalence #normalisation #reasoning
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
Uniform Derivation of Decision Procedures by Superposition (AA, SR, MR), pp. 513–527.
IJCARIJCAR-2001-Waldmann #order
Superposition and Chaining for Totally Ordered Divisible Abelian Groups (UW), pp. 226–241.
DACDAC-2000-BayraktarogluO #fault
Improved fault diagnosis in scan-based BIST via superposition (IB, AO), pp. 55–58.
RTARTA-2000-Stuber #calculus #convergence #term rewriting
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems (JS), pp. 229–245.
LICSLICS-1999-GanzingerN #similarity
A Superposition Decision Procedure for the Guarded Fragment with Equality (HG, HdN), pp. 295–303.
CADECADE-1998-BachmairG #strict
Strict Basic Superposition (LB, HG), pp. 160–174.
Superposition for Divisible Torsion-Free Abelian Groups (UW), pp. 144–159.
RTARTA-1996-Stuber #integer #proving #theorem proving
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.
RTARTA-1996-Virga #dependent type #higher-order
Higher-Order Superposition for Dependent Types (RV), pp. 123–137.
CADECADE-1994-NieuwenhuisR #constraints
AC-Superposition with Constraints: No AC-Unifiers Needed (RN, AR), pp. 545–559.
Basic Superposition is Complete (RN, AR), pp. 371–389.
Basic Paramodulation and Superposition (LB, HG, CL, WS), pp. 462–476.
Consider Only General Superpositions in Completion Procedures (HZ, DK), pp. 513–527.
Handling Function Definitions through Innermost Superposition and Rewriting (LF), pp. 325–344.
ICLPSLP-1985-Fribourg85 #interpreter #logic programming #named #programming language
SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.

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.