6 results on '"Reis, Giselle"'
Search Results
2. Sequoia: A Playground for Logicians : (System Description)
3. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
4. The Proof Certifier Checkers
5. Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
6. Formalized meta-theory of sequent calculi for linear logics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.