海量图书期刊资源,随时随地畅享阅读乐趣
Bacterial Mitotic MachineriesKenn Gerdes; Jakob Møller-Jensen; Gitte Ebersbach; Thomas Kruse; Kurt Nordström · 2004
Erratum toEriksson, Hannah; Nordström, Jakob; Gabrysch, Katja; Hailer, Nils P.; Lazarinis, Stergios · Clinical Orthopaedics and Related Research · 2018
Proof Complexity and BeyondAtserias, Albert; Nordström, Jakob; Pitassi, Toniann; Razborov, Alexander · Oberwolfach Reports · 2018
Narrow Proofs May Be Maximally LongAtserias, Albert; Lauria, Massimo; Nordström, Jakob · ACM Transactions on Computational Logic · 2016
Space Complexity in Polynomial CalculusFilmus, Yuval; Lauria, Massimo; Nordström, Jakob; Ron-Zewi, Noga; Thapen, Neil · SIAM Journal on Computing · 2015
On the Relative Strength of Pebbling and ResolutionNordström, Jakob · ACM Transactions on Computational Logic · 2012
A new reward model for MDP state aggregation with application to CAC and RoutingErnst Nordström; Jakob Carlström · 2005
From Small Space to Small Width in ResolutionFilmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc · ACM Transactions on Computational Logic · 2015