A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Journal of Automated Reasoning
Journal of Automated Reasoning
A logical characterization of forward and backward chaining in the inverse method
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Focusing the inverse method for linear logic
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.00 |