IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
References of Ralf Treinen   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1 Add to my selection
Martin Müller, Joachim Niehren and Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees. In Discrete Mathematics and Theoretical Computer Science, Vol. 4(2):193-234, 2001. URL [Abstract]   Bibtex entry  google [Annote]
2 Add to my selection
Joachim Niehren, Ralf Treinen and Sophie Tison. On Rewrite Constraints and Context Unification. In Information Processing Letters, Vol. 74(1-2):35-40, 2000. URL [Abstract]   Bibtex entry  google [Annote]
<< InProceedings >> TOP
3 Add to my selection
Rolf Backofen and Ralf Treinen. How to Win a Game with Features. In J.-P. Jouannaud editor, 1st International Conference on Constraints in Computational Logics (CCL'94), September 7-9, Vol. 845:320-335 of Lecture Notes in Computer Science, Springer, München, Germany, 1994. URL   Bibtex entry  google [Annote]
4 Add to my selection
Alexander Koller, Joachim Niehren and Ralf Treinen. Dominance Constraints: Algorithms and Complexity. In 3rd International Conference on Logical Aspects of Computational Linguistics (LACL '98), December 14-16, Grenoble, France, 1998. URL [Abstract]   Bibtex entry  google [Annote]
5 Add to my selection
Martin Müller, Joachim Niehren and Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees. In 13th Annual IEEE Symposium on Logic in Computer Sience (LICS '98), June 21 - 24, Pages 432-443, IEEE Press, Indianapolis, Indiana, USA, 1998. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin