Efficient and Natural Proof Systems

Project: Research council

Filter
Conference contribution

Search results

  • 2018

    A Natural Proof System for Herbrand's Theorem

    Ralph, B., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703).

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

    1 Citation (Scopus)
  • 2016

    Conflict nets: efficient locally canonical MALL proof nets

    Hughes, D. & Heijltjes, W., 2 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    6 Citations (Scopus)
    116 Downloads (Pure)
  • 2015

    Complexity bounds for sum-product logic via additive proof nets and Petri nets

    Heijltjes, W. & Hughes, D., 10 Jul 2015, Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015. IEEE, p. 80-91 12 p. (2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science).

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

    File
    5 Citations (Scopus)
    123 Downloads (Pure)