Search Results - Rehof, J

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Microstructural changes taking place during the thermo-mechanical processing and cold working of steel 18Cr18Mn0.5N

    Microstructural changes taking place during the thermo-mechanical processing and cold working of steel 18Cr18Mn0.5N by Jandova, D, Rehof, J, Novy, Z

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The complexity of subtype entailment for simple types

    The complexity of subtype entailment for simple types by Henglein, F., Rehof, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Tractable constraints in finite semilattices

    Tractable constraints in finite semilattices by Rehof, Jakob, Mogensen, Torben Æ.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Strong normalization for non-structural subtyping via satured sets

    Strong normalization for non-structural subtyping via satured sets by REHOF, J

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Strong normalization for non-structural subtyping via saturated sets

    Strong normalization for non-structural subtyping via saturated sets by Rehof, Jakob

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Type elaboration and subtype completion for Java bytecode

    Type elaboration and subtype completion for Java bytecode by Knoblock, Todd B, Rehof, Jakob

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Tractable constraints in finite semilattices: Special Issue on SAS'96: Selected Papers of the Third International Static Analysis Symposium (SAS'96)(24-26 September 1996, Aachen, Germany)

    Tractable constraints in finite semilattices: Special Issue on SAS'96: Selected Papers of the Third International Static Analysis Symposium (SAS'96)(24-26 September 1996, Aachen, G... by REHOF, J, MOGENSEN, T. A

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Human rights

    Human rights by Abudu, Nancy G, Ajemian, Ani E, Albrecht, Lawrence G, Farrell, Kristen, Fiadjoe, Yvonne, Rehof, Lars Adam, Kepner, Adrienne, Kretman, Joshua, Maffai, Margaret, Mandor, Melissa, Meier, Eileen, Minkowitz, Tina, Nanda, Ved P, Palmer, Erin Louise, Peyser, Roxane, Power, Vanessa Soriano, Rana, Rajat, Rutherford, Bridget, Sarkin, Jeremy, Shackelford, Scott J, Shameem, Shaista, Shields, Leslie, Singh, Jaspreet, Stafford, Nancy Kaymar, Stephens, Alice Anne, Vidiaev, Anna

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Human rights

    Human rights by Abudu, Nancy G, Ajemian, Ani E, Albrecht, Lawrence G, Farrell, Kristen, Fiadjoe, Yvonne, Rehof, Lars Adam, Kepner, Adrienne, Kretman, Joshua, Maffai, Margaret, Mandor, Melissa, Meier, Eileen, Minkowitz, Tina, Nanda, Ved P, Palmer, Erin Louise, Peyser, Roxane, Power, Vanessa Soriano, Rana, Rajat, Rutherford, Bridget, Sarkin, Jeremy, Shackelford, Scott J, Shameem, Shaista, Shields, Leslie, Singh, Jaspreet, Stafford, Nancy Kaymar, Stephens, Alice Anne, Vidiaev, Anna

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Human rights

    Human rights by Abudu, Nancy G, Ajemian, Ani E, Albrecht, Lawrence G, Farrell, Kristen, Fiadjoe, Yvonne, Rehof, Lars Adam, Kepner, Adrienne, Kretman, Joshua, Maffai, Margaret, Mandor, Melissa, Meier, Eileen, Minkowitz, Tina, Nanda, Ved P, Palmer, Erin Louise, Peyser, Roxane, Power, Vanessa Soriano, Rana, Rajat, Rutherford, Bridget, Sarkin, Jeremy, Shackelford, Scott J, Shameem, Shaista, Shields, Leslie, Singh, Jaspreet, Stafford, Nancy Kaymar, Stephens, Alice Anne, Vidiaev, Anna

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: