Travelled to:1 × Italy
Collaborated with:D.J.D.Hughes G.D.Plotkin V.R.Pratt Z.Manna N.Bjørner A.Browne E.Y.Chang M.Colón L.d.Alfaro A.Kapur J.Lee H.Sipma T.E.Uribe
Talks about:stanford (1) multipl (1) complet (1) tempor (1) prover (1) linear (1) space (1) logic (1) step (1) full (1)
Person: Harish Devarajan
DBLP: Devarajan:Harish
Contributed to:
1999
1995Wrote 2 papers:
- LICS-1999-DevarajanHPP #linear #logic #multi
- Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
- TAPSOFT-1995-MannaBBCCADKLSU #named #proving
- STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.