Saturate
From MaRDI portal
Software:33159
swMATH21351MaRDI QIDQ33159FDOQ33159
Author name not available (Why is that?)
Cited In (10)
- Practical algorithms for deciding path ordering constraint satisfaction.
- Stratified resolution
- Theorem proving in cancellative abelian monoids (extended abstract)
- Harald Ganzinger's legacy: contributions to logics and programming
- Induction = I-axiomatization + first-order consistency.
- Title not available (Why is that?)
- From search to computation: redundancy criteria and simplification at work
- Superposition with equivalence reasoning and delayed clause normal form transformation
- Automated complexity analysis based on ordered resolution
- Splitting through new proposition symbols
This page was built for software: Saturate
