scholarly journals Limited resource strategy in resolution theorem proving

2003 ◽  
Vol 36 (1-2) ◽  
pp. 101-115 ◽  
Author(s):  
Alexandre Riazanov ◽  
Andrei Voronkov
Keyword(s):  
Theorem Proving ◽  
Limited Resource ◽  
Resolution Theorem ◽  
Resolution Theorem Proving ◽  
Resource Strategy

Resolution theorem proving in reified modal logics

1994 ◽  
Vol 12 (1) ◽  
pp. 103-129 ◽  
Author(s):  
J. Stuart Aitken ◽  
Han Reichgelt ◽  
Nigel Shadbolt
Keyword(s):  
Theorem Proving ◽  
Modal Logics ◽  
Resolution Theorem ◽  
Resolution Theorem Proving
Sign in / Sign up

Export Citation Format

Share Document