Stem superposit$ (all stems)

26 papers:

CADE-2015-BaumgartnerBW #named #proving #theorem proving

Beagle — A Hierarchic Superposition Theorem Prover (PB, JB, UW), pp. 367–377.

CADE-2013-BaumgartnerW #abstraction

Hierarchic Superposition with Weak Abstraction (PB, UW), pp. 39–57.

WRLA-2012-TushkanovaGRK #framework #rule-based

A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.

IJCAR-2012-SudaW

A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance (MS, CW), pp. 537–543.

PLDI-2011-PerezR #calculus #logic #proving #theorem proving

Separation logic + superposition calculus = heap theorem prover (JANP, AR), pp. 556–566.

DLT-2009-ManeaMS

Some Remarks on Superposition Based on Watson-Crick-Like Complementarity (FM, VM, JMS), pp. 372–383.

CADE-2009-BaumgartnerW #evolution

Superposition and Model Evolution Combined (PB, UW), pp. 17–34.

CSL-2008-HorbachW

Superposition for Fixed Domains (MH, CW), pp. 293–307.

CSL-2007-KorovinV #calculus #linear

Integrating Linear Arithmetic into Superposition Calculus (KK, AV), pp. 223–237.

CADE-2003-GanzingerHW

Superposition Modulo a Shostak Theory (HG, TH, UW), pp. 182–196.

CADE-2003-GanzingerS #equivalence #normalisation #reasoning

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.

CSL-2001-ArmandoRR

Uniform Derivation of Decision Procedures by Superposition (AA, SR, MR), pp. 513–527.

IJCAR-2001-Waldmann #order

Superposition and Chaining for Totally Ordered Divisible Abelian Groups (UW), pp. 226–241.

DAC-2000-BayraktarogluO #fault

Improved fault diagnosis in scan-based BIST via superposition (IB, AO), pp. 55–58.

RTA-2000-Stuber #calculus #convergence #term rewriting

Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems (JS), pp. 229–245.

LICS-1999-GanzingerN #similarity

A Superposition Decision Procedure for the Guarded Fragment with Equality (HG, HdN), pp. 295–303.

CADE-1998-BachmairG #strict

Strict Basic Superposition (LB, HG), pp. 160–174.

CADE-1998-Waldmann

Superposition for Divisible Torsion-Free Abelian Groups (UW), pp. 144–159.

RTA-1996-Stuber #integer #proving #theorem proving

Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.

RTA-1996-Virga #dependent type #higher-order

Higher-Order Superposition for Dependent Types (RV), pp. 123–137.

CADE-1994-NieuwenhuisR #constraints

AC-Superposition with Constraints: No AC-Unifiers Needed (RN, AR), pp. 545–559.

ESOP-1992-NieuwenhuisR

Basic Superposition is Complete (RN, AR), pp. 371–389.

CADE-1992-BachmairGLS

Basic Paramodulation and Superposition (LB, HG, CL, WS), pp. 462–476.

RTA-1989-ZhangK

Consider Only General Superpositions in Completion Procedures (HZ, DK), pp. 513–527.

RTA-1985-Fribourg

Handling Function Definitions through Innermost Superposition and Rewriting (LF), pp. 325–344.

SLP-1985-Fribourg85 #interpreter #logic programming #named #programming language

SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting (LF), pp. 172–184.