S. Anantharaman
发表
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
FroCoS.
Kimberly A. Gero,
P. Narendran,
M. Rusinowitch,
2017
.
S. Anantharaman,
P. Samuel,
Pierre Samuel,
1966
.
P. Narendran,
C. Lynch,
M. Rusinowitch,
2012,
IJCAR.
Benjamin Nguyen,
S. Anantharaman,
S. Frittella,
2022,
ArXiv.
Jieh Hsiang,
Siva Anantharaman,
J. Hsiang,
1990,
Journal of Automated Reasoning.
Nirina Andrianarivelo,
Siva Anantharaman,
S. Anantharaman,
1990,
DISCO.
J. Murre,
S. Anantharaman,
1967
.
Gilles Richard,
Siva Anantharaman,
S. Anantharaman,
1995,
Theor. Comput. Sci..
Paliath Narendran,
Siva Anantharaman,
Michaël Rusinowitch,
2019
.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2009,
Journal of Automated Reasoning.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2003,
MFCS.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2019,
CADE.
I. V. Ramakrishnan,
Jacques Chabin,
Leo Bachmair,
1995,
IJCAI.
Michaël Rusinowitch,
Paliath Narendran,
Siva Anantharaman,
2010,
ASIACCS '10.