Tim Priesnitz (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373

4 Joachim Niehren, Tim Priesnitz: Non-structural subtype entailment in automata theory. Inf. Comput. 186(2): 319-354 (2003)

3 Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216

2 Joachim Niehren, Tim Priesnitz: Non-structural Subtype Entailment in Automata Theory. TACS 2001: 360-384

1 Joachim Niehren, Tim Priesnitz: Entailment of Non-structural Subtype Constraints. ASIAN 1999: 251-265

Selection of 5 from 5 records - Tim Priesnitz has 4 coauthors

5		Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373
4		Joachim Niehren, Tim Priesnitz: Non-structural subtype entailment in automata theory. Inf. Comput. 186(2): 319-354 (2003)
3		Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
2		Joachim Niehren, Tim Priesnitz: Non-structural Subtype Entailment in Automata Theory. TACS 2001: 360-384
1		Joachim Niehren, Tim Priesnitz: Entailment of Non-structural Subtype Constraints. ASIAN 1999: 251-265