Publications

Primal infon logic: Derivability in polynomial time

• • Anguraj Baskar
  • Prasad Naldurg
  • et al.
• 2013
• FSTTCS 2013