scholarly journals Inference-security analysis using resolution theorem-proving

2003 ◽  
Author(s):  
N.C. Rowe
Keyword(s):  
Theorem Proving ◽  
Security Analysis ◽  
Resolution Theorem ◽  
Resolution Theorem Proving

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