Sakthi Subramanian

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996

2 Sakthi Subramanian: An Interactive Solution to the n by n Mutilated Checkerboard Problem. J. Log. Comput. 6(4): 573-598 (1996)

1995

1 Sakthi Subramanian: Mechanical Verification of Strategies. J. Autom. Reasoning 15(1): 69-93 (1995)

1996
2		Sakthi Subramanian: An Interactive Solution to the n by n Mutilated Checkerboard Problem. J. Log. Comput. 6(4): 573-598 (1996)
1995
1		Sakthi Subramanian: Mechanical Verification of Strategies. J. Autom. Reasoning 15(1): 69-93 (1995)