Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #220   Type :   Html | Bib | Both

Created: 2007-12-12 11:30:28

220 Manuel Bodirsky, Katrin Erk, Alexander Koller and Joachim Niehren. Beta Reduction Constraints. In Aart Middeldorp editor, 12th International Conference on Rewriting Techniques and Applications (RTA'01), May 22-24, Pages 31-46, Springer-Verlag, Utrecht, The Netherlands, 2001. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34