ACM Transactions on Computational Logic, 1529-3785

Tidskrift

Fler filtreringsmöjligheter
  1. 2016
  2. Narrow proofs may be maximally long

    Albert Atserias, Massimo Lauria & Jakob Nordström, 2016 feb, I: ACM Transactions on Computational Logic. 17, 3, 19.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift

  3. 2015
  4. From small space to small width in resolution

    Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström & Marc Vinyals, 2015 aug 1, I: ACM Transactions on Computational Logic. 16, 4, 28.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift

  5. 2012
  6. On the relative strength of pebbling and resolution

    Jakob Nordström, 2012 apr, I: ACM Transactions on Computational Logic. 13, 2, a16.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift