Soumya Paul
发表
Nicholas Asher,
Soumya Paul,
2018,
Journal of Logic, Language and Information.
Soumya Paul,
Nicholas Asher,
Nicholas Asher,
2018,
Linguistics and Philosophy.
Soumya Paul,
Nicholas Asher,
Nicholas Asher,
2017,
ICLA.
Soumya Paul,
Nicholas Asher,
Nicholas Asher,
2016,
LACL.
Soumya Paul,
Nicholas Asher,
Chris Russell,
2021,
CD-MAKE.
Nicholas M. Asher,
Lucas de Lara,
Chris Russell,
2022,
Mach. Learn. Knowl. Extr..
Soumya Paul,
Marcel Böhme,
Marcel Böhme,
2016,
IEEE Transactions on Software Engineering.
Soumya Paul,
Marcel Böhme,
Marcel Böhme,
2014,
SIGSOFT FSE.
Oliver Lemon,
Verena Rieser,
Pascal Denis,
2012
.
Soumya Paul,
Ramaswamy Ramanujam,
R. Ramanujam,
2014,
Stud Logica.
Nicholas Asher,
Soumya Paul,
2013,
SR.
Nicholas M. Asher,
Julie Hunter,
Soumya Paul,
2023,
arXiv.org.
Soumya Paul,
Nicholas Asher,
Antoine Venant,
2017,
J. Philos. Log..
Soumya Paul,
Nicholas Asher,
Cédric Dégremont,
2016,
J. Log. Comput..
Soumya Paul,
Ramaswamy Ramanujam,
Sunil Simon,
2015,
Models of Strategic Reasoning.
Nicholas Asher,
Chris Russell,
Soumya Paul,
2020,
ArXiv.
Soumya Paul,
Ramaswamy Ramanujam,
R. Ramanujam,
2010,
GANDALF.
Soumya Paul,
Sunil Simon,
Sunil Simon,
2009,
FSTTCS.
Soumya Paul,
Nicholas Asher,
Nicholas Asher,
2018,
Journal of Logic, Language and Information.