Skip to content
<title>Channels - On Interpolation and Symbol Elimination in Theory Extensions :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On Interpolation and Symbol Elimination in Theory Extensions
Search for more channels:
Similar Items: On Interpolation and Symbol Elimination in Theory Extensions
Channel Options
View Record
Explore related channels
Quick Look
Interpolation in local theory extensions
Quick Look
Ground interpolation for the theory of equality
Quick Look
Quantifier-Free Interpolation of a Theory of Arrays
Quick Look
An extensible equality checking algorithm for dependent type theories
Quick Look
Inferring Symbolic Automata
Quick Look
A limitation on the KPT interpolation
Quick Look
SAT-Inspired Higher-Order Eliminations
Quick Look
Interpolant-Based Transition Relation Approximation
Quick Look
A feasible interpolation for random resolution
Quick Look
Feasible Interpolation for QBF Resolution Calculi
Quick Look
The Distribution of Ridgeless Least Squares Interpolators
Quick Look
Modularizing the Elimination of r=0 in Kleene Algebra
Quick Look
Transfer Function Synthesis without Quantifier Elimination
Quick Look
The Structure of Differential Invariants and Differential Cut Elimination
Quick Look
Inducing syntactic cut-elimination for indexed nested sequents
Quick Look
Generic Modal Cut Elimination Applied to Conditional Logics
Quick Look
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Quick Look
Definability and Interpolation within Decidable Fixpoint Logics
Quick Look
Craig Interpolation for Decidable First-Order Fragments
Quick Look
Decidability for Entailments of Symbolic Heaps with Arrays
Quick Look
Interpolating Between Choices for the Approximate Intermediate Value Theorem
Quick Look
Uniform Interpolants in EUF: Algorithms using DAG-representations
Quick Look
Stochastic Interpolants: A Unifying Framework for Flows and Diffusions
Quick Look
Predicate Abstraction via Symbolic Decision Procedures
Load more items
View Record
Prev
Explore related channels
Next
