| LTN |
Theoretical: Theoretical Computer Science is the mathematical foundation of computing in all its forms. By being the foundation - it is also the starting point for new and more efficient methodologies of computation. Computers Computer Science Theoretical:
 Computability: Computability Information Theory: Theory Quines: Quines English Computers: Algorithms English Science Math: Combinatorics English Science Math Geometry: Computational Geometry English Science Math Applications Communication Theory: Cryptography English Science Math: Logic and Foundations Theoretical Computer Science on the WebComputers: Theoretical, Computer Science Theoretical A directory of resources related to theoretical computer science from Stanford University Computer Science on the Web . Interactive Computation - TheoreticalComputers: Interactive, Computer Science Theoretical Wikipedia article Computation Theoretical . An Introduction to the Theory of Computation - TheoreticalComputers: An Introduction, Computer Science Theoretical An online text aimed at advanced undergraduate and graduate students to the Theory of Computation Theoretical . Computability LogicComputers: Computability, Computer Science Theoretical Main web source on the subject: overview Logic downloadable articles, links. Theory of Computation - TheoreticalComputers: Theory, Computer Science Theoretical Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley of Computation Theoretical . Computability Theory - TheoreticalComputers: Computability, Computer Science Theoretical Wikipedia article Theory Theoretical . Church-Turing ThesisComputers: Church-Turing, Computer Science Theoretical Wikipedia article Thesis . CATS: Combinatorial Algorithms Test SetsComputers: CATS, Computer Science Theoretical · Searchable index of problems Combinatorial Algorithms Test Sets links and methodology. Algorithms, Calculations and FormulaeComputers: Algorithms, Computer Science Theoretical · Resources on algorithms Calculations and Formulae calculations and formulae, including books, faq, urls, and a forum. A Historical Note on `Geometry and Concurrency'Computers: A Historical, Computer Science Theoretical · Online report by Eric Goubault Note on `Geometry and Concurrency' surveying the field from its prehistory in terms of classical interleaving and non-interleaving analyses of concurrency, through to modern applications of simplicial sets to fault tolerant computation. Algebraic Topology and ConcurrencyComputers: Algebraic, Computer Science Theoretical · Reports applying methods in algebraic topology to concurrent computation Topology and Concurrency Maintained by Stefan Sokolowski. Automata Theory - TheoreticalComputers: Automata, Computer Science Theoretical · An essay by David Weir Theory Theoretical . Computation, Automata, Languages - TheoreticalComputers: Computation, Computer Science Theoretical · Notes Automata, Languages Theoretical small essays, explanations, reading lists. By Cosma Rohilla Shalizi. SATLIB - The Satisfiability LibraryComputers: SATLIB, Computer Science Theoretical · A collection of benchmark problems The Satisfiability Library solvers, and tools. Provides a uniform test-bed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms' performance. ECCC - Electronic Colloquium on Computational Complexity - TheoreticalComputers: ECCC, Computer Science Theoretical · A forum for the rapid and widespread interchange of ideas Electronic Colloquium on Computational Complexity Theoretical techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources. Computational Complexity ConferenceComputers: Computational, Computer Science Theoretical · Annual conference that deals with computational complexity broadly defined Complexity Conference . Midwest Theory Day - TheoreticalComputers: Midwest, Computer Science Theoretical · Held twice a year Theory Day Theoretical usually on a Saturday in December and on a Saturday in April. Details of past and future meetings. The Types Forum - TheoreticalComputers: The Types, Computer Science Theoretical · E-mail forum for semantical Forum Theoretical categorical, operational, and proof theoretical topics relating to type theory. CAC-NET/FoCM-NET - TheoreticalComputers: CAC-NET/FoCM-NET, Computer Science Theoretical · Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics Theoretical . | |||||||||||||
