8 results on '"Reis, Giselle"'
Search Results
2. Facilitating Meta-Theory Reasoning (Invited Paper)
3. Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
4. Formalization of Automated Trading Systems in a Concurrent Linear Framework
5. The ILLTP Library for Intuitionistic Linear Logic
6. Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
7. Towards the Automated Generation of Focused Proof Systems
8. Importing SMT and Connection proofs as expansion trees
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.