Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kaustuv Chaudhuri
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To
Related publications
Pumping Up of the Plasticized Lightweight Concrete to the 80 M High Worksite
Concrete Journal
The Current State of Transformative Learning Theory: A Metatheory
Phronesis
Towards a Mechanized Metatheory of Standard ML
A Formalization of the Coach Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Metatheory of Actions: Beyond Consistency
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Mechanized Metatheory Revisited
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Formalization of Polytime Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formalization of Minimalist Syntax
Syntax
Linguistics
Language
Computational Metatheory in Nuprl
