The following pages link to N. K. Zamov (Q583186):
Displaying 12 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Lightweight hybrid tableaux (Q631086) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Producing and verifying extremely large propositional refutations (Q694550) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Equilibrium logic (Q854969) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
