ACM Transactions on Computational Logic (TOCL)

Published by: ACM  

Groups

  1. Henzinger Group (10)
  2. Chatterjee Group (6)
  3. Alumni (1)
  4. Guet Group (1)
  5. IST Fellow (1)
  6. PhD Students (1)

Results (11)