The following pages link to Patrice Enjalbert (Q920969):
Displaying 15 items.
- Strategies for modal resolution: Results and problems (Q920970) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- (Q3490986) (← links)
- (Q3664430) (← links)
- (Q3680265) (← links)
- (Q3791122) (← links)
- (Q3803093) (← links)
- (Q3888506) (← links)
- (Q3998525) (← links)
- Modal Theorem Proving: An Equational Viewpoint (Q4018166) (← links)
- (Q4166876) (← links)
- (Q4190099) (← links)
- (Q4266525) (← links)
- Multi-modal logic programming using equational and order-sorted logic (Q5096187) (← links)