Tim Priesnitz

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Joachim Niehren, Tim Priesnitz, Zhendong Su
Complexity of Subtype Satisfiability over Posets. ESOP (2005)
Joachim Niehren, Tim Priesnitz
Non-structural subtype entailment in automata theory. Inf. Comput. 186 (2) (2003)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The first-order theory of subtyping constraints. POPL (2002)
Joachim Niehren, Tim Priesnitz
Non-structural Subtype Entailment in Automata Theory. TACS (2001)
Joachim Niehren, Tim Priesnitz
Entailment of Non-structural Subtype Constraints. ASIAN (1999)