Search Results - Walukiewicz-Chrząszcz, Daria

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    How Hard Is Positive Quantification?

    How Hard Is Positive Quantification? by Schubert, Aleksy, Urzyczyn, Paweł, Walukiewicz-Chrząszcz, Daria

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    The Non-Interference Protection in BML

    The Non-Interference Protection in BML by Schubert, Aleksy, Walukiewicz-Chrząszcz, Daria

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Termination of rewriting in the Calculus of Constructions

    Termination of rewriting in the Calculus of Constructions by WALUKIEWICZ-CHRZĄSZCZ, DARIA

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Consistency and Completeness of Rewriting in the Calculus of Constructions

    Consistency and Completeness of Rewriting in the Calculus of Constructions by Walukiewicz-Chrzaszcz, Daria, Chrzaszcz, Jacek

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Consistency and Completeness of Rewriting in the Calculus of Constructions

    Consistency and Completeness of Rewriting in the Calculus of Constructions by Walukiewicz-Chrzaszcz, Daria, Chrzaszcz, Jacek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: