Search Results - Priesnitz, Tim

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Non-Structural Subtype Entailment in Automata Theory

    Non-Structural Subtype Entailment in Automata Theory by Niehren, Joachim, Priesnitz, Tim

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Non-structural subtype entailment in automata theory

    Non-structural subtype entailment in automata theory by Niehren, Joachim, Priesnitz, Tim

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    The first-order theory of subtyping constraints

    The first-order theory of subtyping constraints by SU, Zhendong, AIKEN, Alexander, NIEHREN, Joachim, PRIESNITZ, Tim, TREINEN, Ralf

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: