scientific article; zbMATH DE number 3473353

MaRDI QIDQ4057637zbMATH OpenFDO

Authors Marisa Venturini Zilli, Giuseppe Longo

Publication date 1974

Full work available at URL https://eudml.org/doc/92011

Mathematics Subject Classification ID

Cites work

• A Machine-Independent Theory of the Complexity of Recursive Functions
• Abstract computational complexity and cycling computations
• An Overview of the Theory of Computational Complexity
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Linear resolution with selection function
• The complexity of theorem-proving procedures

Cited in

(2)

• Related-tweakey impossible differential attack on reduced-round \texttt{SKINNY-AEAD} M1/M3
• Cryptanalysis of \texttt{SPEEDY}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4057637)