Switch to: Citations

Add references

You must login to add references.
  1. ¹1-formulae on finite structures.M. Ajtai - 1983 - Annals of Pure and Applied Logic 24 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Computational Limitations of Small-Depth Circuits.Stuart A. Kurtz & Johan Hastad - 1988 - Journal of Symbolic Logic 53 (4):1259.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Computational Limitations of Small-depth Circuits.Johan Håstad - 1987 - MIT Press (MA).
    Proving lower bounds on the amount of resources needed to compute specific functions is one of the most active branches of theoretical computer science. Significant progress has been made recently in proving lower bounds in two restricted models of Boolean circuits. One is the model of small depth circuits, and in this book Johan Torkel Hastad has developed very powerful techniques for proving exponential lower bounds on the size of small depth circuits' computing functions. The techniques described in Computational Limitations (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   144 citations