Joerg Hoffmann, Maximilian Fickert
Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time
Categories
Joerg Hoffmann, Maximilian Fickert
Explicit Conjunctions without Compilation: Computing hFF(PiC) in Polynomial Time