The following pages link to SPASS & FLOTTER version 0.42 (Q4647508):
Displaying 9 items.
- FLOTTER (Q41399) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- Soft typing for ordered resolution (Q5234715) (← links)
- Unifying splitting (Q6103590) (← links)
