Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Arun-Kumar, S. - Department of Computer Science and Engineering, Indian Institute of Technology, Delhi
A Logical Characterization of Efficiency Preorders Neelesh Korade1 and S. Arun-Kumar2
Amortised Bisimulations Astrid Kiehn, S. Arun-Kumar
Flexible Communication of Agents based on Jamshid Bagherzadeh1
Layered Clausal Resolution in the Multi-Modal Logic of Beliefs and Goals
Reflecting BDDs in Coq Kumar Neeraj Verma 1 , Jean GoubaultLarrecq 1 , Sanjiva Prasad 2 , and S.
On Bisimilarities Induced by Relations on Actions S. Arun-Kumar
Axiomatization of a Class of Parametrised Bisimilarities 1 Axiomatization of a Class of Parametrised
