Gopalan Nadathur
Affiliations: | Computer Science | University of Minnesota, Twin Cities, Minneapolis, MN |
Area:
Computer ScienceGoogle:
"Gopalan Nadathur"Children
Sign in to add trainee| Andrew J. Gacek | grad student | 2009 | UMN |
| Xiaochu Qi | grad student | 2009 | UMN |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Baelde D, Felty AP, Nadathur G, et al. (2019) A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday Mathematical Structures in Computer Science. 29: 1007-1008 |
| Wang Y, Nadathur G. (2016) A higher-order abstract syntax approach to verified transformations on functional programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 752-779 |
| Baelde D, Gacek A, Nadathur G, et al. (2015) Abella: A system for reasoning about relational specifications Journal of Formalized Reasoning. 7: 1-89 |
| Baelde D, Chaudhuri K, Gacek A, et al. (2014) Abella: A System for Reasoning about Relational Specifications Journal of Formalized Reasoning. 7: 1-89 |
| Southern M, Nadathur G. (2014) A λprolog based animation of twelf specifications Proceedings of the International Joint Workshop On Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, Ciclops-Wlpe 2014. 63-78 |
| Wang Y, Chaudhuri K, Gacek A, et al. (2013) Reasoning about higher-order relational specifications Proceedings of the 15th Symposium On Principles and Practice of Declarative Programming, Ppdp 2013. 157-168 |
| Wang Y, Nadathur G. (2013) Towards extracting explicit proofs from totality checking in twelf Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 55-66 |
| Baelde D, Nadathur G. (2012) Combining deduction modulo and logics of fixed-point definitions Proceedings of the 2012 27th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2012. 105-114 |
| Miller D, Nadathur G. (2012) Programming with higher-order logic Programming With Higher-Order Logic. 1-306 |
| Gacek A, Miller D, Nadathur G. (2012) A two-level logic approach to reasoning about computations Journal of Automated Reasoning. 49: 241-273 |