|
Search the dblp DataBase
Jawahar Chirimar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. [Citation Graph (0, 0)][DBLP] CADE, 1992, pp:711-715 [Conf]
- Jawahar Chirimar, Douglas J. Howe
Implementing Constructive Real Analysis: Preliminary Report. [Citation Graph (0, 0)][DBLP] Constructivity in Computer Science, 1991, pp:165-178 [Conf]
- Jawahar Chirimar, James Lipton
Provability in TBLL: A Decision Procedure. [Citation Graph (0, 0)][DBLP] CSL, 1991, pp:53-67 [Conf]
- Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Proving Memory Management Invariants for a Language Based on Linear Logic. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1992, pp:139-150 [Conf]
- Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Reference Counting as a Computational Interpretation of Linear Logic. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1996, v:6, n:2, pp:195-244 [Journal]
Search in 0.002secs, Finished in 0.003secs
|