|
Journals in DBLP
- Carl Vogel, Fred Popowich
A Parametric Definition for a Family of Inheritance Reasoners. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1997, v:15, n:3, pp:247-292 [Journal]
- M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
Proving Termination of GHC Programs. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1997, v:15, n:3, pp:293-338 [Journal]
- Liangwei Xu, Masato Takeichi, Hideya Iwasaki
Relational Semantics for Locally Nondeterministic Programs. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1997, v:15, n:3, pp:339-362 [Journal]
|