Nihil Shah
发表
Dan Marsden,
Tom'avs Jakl,
Nihil Shah,
2022,
ArXiv.
Dan Marsden,
Tom'avs Jakl,
Nihil Shah,
2022,
2205.05382.
Nihil Shah,
Yoàv Montacute,
2021,
LICS.
S. Abramsky,
Nihil Shah,
2018,
Annual Conference for Computer Science Logic.
Samson Abramsky,
Nihil Shah,
S. Abramsky,
2018,
CSL.
S. Abramsky,
Nihil Shah,
2018,
CSL.
Dan Marsden,
Nihil Shah,
Tomás Jakl,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Nihil Shah,
Yoàv Montacute,
Samson Abramsky,
2023,
ArXiv.
S. Abramsky,
Nihil Shah,
2020,
ArXiv.
Nihil Shah,
Yoàv Montacute,
2021,
LICS.