The following pages link to Y. S. Ramakrishna (Q230068):
Displaying 13 items.
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- (Q4032313) (← links)
- (Q4247272) (← links)
- (Q4256652) (← links)
- (Q4268464) (← links)
- (Q4318636) (← links)
- (Q4518424) (← links)
- (Q4518444) (← links)
- (Q4853317) (← links)
- (Q4853320) (← links)
- Automated deduction in a graphical temporal logic (Q4868233) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
