IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
References of T. Nipkow   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1 Add to my selection
Martin Müller and Joachim Niehren. Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. In T. Nipkow editor, 9th International Conference on Rewriting Techniques and Applications (RTA '98), March 30 - April 1, (1379):196-210, Springer-Verlag, Tsukuba, Japan, 1998. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin