Searching for authors named Tim Priesnitz – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Subtype Constraints in Modal Logic
- …Subtype Constraints in Modal Logic Joachim Niehren 1 Tim Priesnitz 2 1 Programming Systems Lab…
- Add To MetaCart
-
Complexity of Subtype Satisfiability over Posets
- … Posets Tim Priesnitz Programming Systems Lab Saarland University Saarbrücken, Germany Subtype…
- Cited by 5 (0 self) – Add To MetaCart
-
Entailment of Non-Structural Subtype Constraints
- …Entailment of Non-Structural Subtype Constraints Joachim Niehren Tim Priesnitz Programming Systems…
- Cited by 5 (4 self) – Add To MetaCart
-
Non-Structural Subtype Entailment in Automata Theory
- …Abstract Non-Structural Subtype Entailment in Automata Theory Joachim Niehren and Tim Priesnitz…
- Cited by 8 (3 self) – Add To MetaCart
-
The First-Order Theory of Subtype Constraints
- … and ALEXANDER AIKEN Stanford University and JOACHIM NIEHREN INRIA Futurs, Lille and TIM PRIESNITZ Universität…
- Cited by 18 (4 self) – Add To MetaCart
Showing 1 through 5.
