Tim Priesnitz

According to our database, Tim Priesnitz authored at least 5 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Subtype satisfiability and entailment.

Tim Priesnitz

PhD thesis, 2007

2005

Complexity of Subtype Satisfiability over Posets.

Joachim Niehren, Tim Priesnitz, Zhendong Su

Proceedings of the Programming Languages and Systems, 2005

2003

Non-structural subtype entailment in automata theory.

Joachim Niehren, Tim Priesnitz

Inf. Comput., 2003

2002

The first-order theory of subtyping constraints.

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

1999

Entailment of Non-structural Subtype Constraints.

Joachim Niehren, Tim Priesnitz

Proceedings of the Advances in Computing Science, 1999