IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
References of Tim Priesnitz   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1 Add to my selection
Joachim Niehren and Tim Priesnitz. Entailment of Non-Structural Subtype Constraints. In Asian Computing Science Conference, December 10-12, (1742):251-265, Springer, Phuket, Thailand, 1999. URL [Abstract]   Bibtex entry  google [Annote]
<< MastersThesis >> TOP
2 Add to my selection
Tim Priesnitz. Entailment von nicht-strukturellen Teiltyp-Constraints. Master's thesis, Universität des Saarlandes, Fachbereich Informatik, Saarbrücken, 2000. URL [Abstract]   Bibtex entry  google [Annote]
<< TechReport >> TOP
3 Add to my selection
Joachim Niehren and Tim Priesnitz. Characterizing Subtype Entailment in Automata Theory. Technical report, Technical Report, Universität des Saarlandes, Saarbrücken, 1999. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin