IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
References of Aart Middeldorp   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1 Add to my selection
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. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin