CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Gardner P. Discovering needed reductions using type theory. In: Proc. of the 2 nd International Symposium on Theoretical Aspects of Computer Software, TACS'94, Springer LNCS, v. 789, M. Hagiya, J. C. Mitchell, eds. Sendai, 1994, p. 555-574.

Gardner P. Discovering needed reductions using type theory. In: Proc. of TACS'94, Springer LNCS, v. 789, M. Hagiya, J. C. Mitchell, eds. Sendai, 1994, p. 555-574.

Gardner P. Discovering needed reductions using type theory. In: Proc. of TACS'94, Springer LNCS, v. 789, M. Hagiya, J. C. Mitchell, eds. Sendai, 1994, p. 555-574.

P.A. Gardner. Discovering Needed Reductions Using Type Theory, full paper, in preparation, 1993.

P. Gardner. Discovering Needed Reductions Using Type Theory. In M. Hagiya and J.C. Mitchell, editors, Proceedings of TACS '94. International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan, volume 789 of Lecture Notes in Computer Science, pages 555--597. Springer-Verlag, 1994.

Philippa Gardner. Discovering needed reductions using type theory. In Proceeding of TACS'94, 1994.

Gardner, P. (1994), Discovering Needed Reductions Using Type Theory, TACS.

Gardner, P., Discovering Needed Reductions Using Type Theory, to appear in TACS, 1994.

Gardner, P., Discovering Needed Reductions Using Type Theory, TACS, 1994.

Philippa Gardner. Discovering needed reductions using type theory. In M. Hagiya and John C. Mitchell, editors, Proceedings of TACS'94, volume 789 of Lecture Notes in Computer Science. Springer-Verlag, 1994.

Gardner P. Discovering needed reductions using type theory. In: Proc. of the 2 nd International Symposium on Theoretical Aspects of Computer Software, TACS'94, Springer LNCS, v. 789, M. Hagiya, J. C. Mitchell, eds. Sendai, 1994, p. 555-574.

P. Gardner. Discovering needed reductions using type theory. In M. Hagiya and J. C. Mitchell, editors, 2 nd International Symposium on Theoretical Aspects of Computer Software, TACS'94, volume 789 of LNCS, pages 555--574. SpringerVerlag, 1994.

Gardner P. Discovering needed reductions using type theory. In: Proc. of the 2 nd International Symposium on Theoretical Aspects of Computer Software, TACS'94, Sendai, M. Hagiya, J. C. Mitchell, eds., Springer LNCS, vol. 789, pp. 555-574, 1994.

Gardner P. Discovering needed reductions using type theory. In: Proc. of the 2 d International Symposium on Theoretical Aspects of Computer Software, TACS'94, Springer LNCS, v. 789, M. Hagiya, J. C. Mitchell, eds. Sendai, 1994, p. 555-574.

Gardner, P., Discovering Needed Reductions Using Type Theory, to appear in TACS, 1994.

Gardner, P., Discovering Needed Reductions Using Type Theory, TACS, 1994.

Gardner, P. (1994), Discovering Needed Reductions Using Type Theory, TACS.

CiteSeer.IST - Copyright Penn State and NEC