The following pages link to Dušan Guller (Q835102):
Displaying 11 items.
- Binary resolution over complete residuated Stone lattices (Q835103) (← links)
- Erratum to ``Binary resolution over Boolean lattices'' (Q853425) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- (Q4428304) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)
- Automated Deduction in Gödel Logic (Q4691737) (← links)
- (Q4783476) (← links)
- LATIN 2004: Theoretical Informatics (Q5901671) (← links)
