FLOTTER
From MaRDI portal
swMATH29685MaRDI QIDQ41399FDOQ41399
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F3-540-61511-3_75
Cited In (19)
- A note on assumptions about Skolem functions
- Title not available (Why is that?)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- Effective normalization techniques for HOL
- Automated verification of refinement laws
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- SPASS
- Saturate
- METEOR
- KoMeT
- Deciding the guarded fragments by resolution
- Cancellative Abelian monoids and related structures in refutational theorem proving. II
- From search to computation: redundancy criteria and simplification at work
- Integration of automated and interactive theorem proving in ILF
- Labelled splitting
- An optimality result for clause form translation
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Soft typing for ordered resolution
- Deciding the \(E^+\)-class by an a posteriori, liftable order
This page was built for software: FLOTTER
