• 1 WEST 4.55

Accepting Doctoral Students

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2010

    A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae

    Bruscoli, P., Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Clarke, E. M. & Voronkov, A. (eds.). Berlin: Springer, p. 136-153 18 p. (Lecture Notes in Computer Science; vol. 6355).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    11 Citations (Scopus)
    140 Downloads (Pure)
  • Breaking paths in atomic flows for classical logic

    Guglielmi, A., Gundersen, T. & Straburger, L., Jul 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS . IEEE, p. 284-293 10 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    15 Citations (Scopus)
    170 Downloads (Pure)