6 results on '"Chaudhuri, Kaustuv"'
Search Results
2. A two-level logic perspective on (simultaneous) substitutions
3. A Lightweight Formalization of the Metatheory of Bisimulation-Up-To
4. Automatically Deriving Schematic Theorems for Dynamic Contexts
5. Equality and fixpoints in the calculus of structures
6. Reasoning about higher-order relational specifications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.