IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #1037   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:20
1037 Add to my selection
Joachim Niehren, Manfred Pinkal and Peter Ruhrberg. On Equality up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting. In W. McCune editor, 14th International Conference on Automated Deduction (CADE 14), July 13-17, (1249):34-48, Springer, Townsville, Australia, 1997. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin