First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems
The Complexity of Subtype Satisfiability over Posets
(pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming
Subtype Satisfiability and Entailment
(pdf)
Tim Priesnitz
PhD Thesis
Non-Structural Subtype Entailment in Automata Theory
(pdf)
Joachim Niehren, Tim Priesnitz
Information and Computation
First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Non-Structural Subtype Entailment in Automata Theory
(pdf)
Joachim Niehren, Tim Priesnitz
Fourth International Symposium on Theoretical Aspects of Computer Software
Entailment von nicht-strukturellen Teiltyp-Constraints
(pdf)
Tim Priesnitz
Master's Thesis, Diplomarbeit. Fachbereich Informatik, Universität des Saarlandes
Entailment of Non-Structural Subtype Constraints
(pdf)
Joachim Niehren, Tim Priesnitz
Asian Computing Science Conference