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)
- From Search to Computation: Redundancy Criteria and Simplification at Work
- Splitting through New Proposition Symbols
- Induction = I-axiomatization + first-order consistency.
- Title not available (Why is that?)
- Superposition with equivalence reasoning and delayed clause normal form transformation
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming
- Automated complexity analysis based on ordered resolution
This page was built for software: Saturate
